Sheaves in geometry and logic : a first introduction to topos theory / - Mac Lane, Saunders, (Springer-Verlag,, 1992)