The logic of topoi (1977)

by Michael Fourman
Venue:In Handbook of Mathematical Logic