Sheaves in geometry and logic : a first introduction to topos theory / Saunders Mac Lane, Ieke Moerdijk. - Mac Lane, Saunders, 1909-2005 (Universitext, 1992)