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