The logic of topoi (1977)

by M P Fourman
Venue:Handbook of Mathematical Logic