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