More on the axiom of extensionality (1966)

by Dana Scott
Venue:Hebrew University