Sheaves in geometry and logic. A first introduction to topos theory. Universitext (0)

by Saunders Mac Lane, Ieke Moerdijk
Venue:corrected reprint of the 1992 edition, 1994. ANDRÉ HENRIQUES