Sheaves in geometry and logic : - Mac Lane, Saunders 1909- (Universitext, 1992)