On The Axiom of Extensionality -Part I (1956)

by R Gandy
Venue:The Journal of Symbolic Logic