No. 20 (1999): RS-20 A Note on Spector’s Quantifier-Free Rule of Extensionality

Published: 1999-01-20