Sheaves in Geometry and Logic. A First Introduction to Topos Theory. 2nd corrected printing (1994)

by S Mac Lane, I Moerdijk