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

Publiceret: 1999-01-20

Artikler