Sheaf models for set theory (1980)

by M P Fourman
Venue:Journal of Pure and Applied Algebra