TY - BOOK AU - Maclane Saunders AU - Moerdijk Ieke TI - Sheaves in geometry and logic : a first introduction to topos theory U1 - 514 PY - 1992/// CY - N Y PB - Springer-Verlag KW - Topology ER -