General models and extensionality (0)

by P B Andrews
Venue:J. of Symbolic Logic