Quantifiers and sheaves (1971)

by F W Lawvere
Venue:In Actes du Congrès Intern. Des Math. Nice 1970, tome I. Paris: Gauthier-Villars