Return to Article Details A Note on Spector’s Quantifier-Free Rule of Extensionality Download Download PDF