Sheaf Models for Set Theory (1980)

by M P Fourman
Venue:J. Pure Appl. Alg