02179nam0 22005053i 450 VAN0029335120250523022230.258N978146120927020250523d1992 |0itac50 baengUS|||| |||||i e bcrSheaves in Geometry and LogicA First Introduction to Topos TheorySaunders Mac Lane, Ieke MoerdijkNew YorkSpringer1992xii, 627 p.24 cm001VAN000245062001 Universitext210 Berlin [etc]Springer1930-03G30Categorical logic, topoi [MSC 2020]VANC024384MF14F20Étale and other Grothendieck topologies and (co)homologies [MSC 2020]VANC023775MF18B25Topoi [MSC 2020]VANC020022MF18F20Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020]VANC024449MF54B40Presheaves and sheaves in general topology [MSC 2020]VANC026707MFAlgebraic structuresKW:KBoolean algebraKW:KDivisionKW:KForcingKW:KHeyting AlgebraKW:KSet TheoryKW:KSetsKW:KUSNew YorkVANL000011Mac LaneSaundersVANV01966526298MoerdijkIekeVANV04306859494Springer <editore>VANV108073650Mac Lane, S.Mac Lane, SaundersVANV049890MacLane, SaundersMac Lane, SaundersVANV043056ITSOL20250704RICAhttps://doi.org/10.1007/978-1-4612-0927-0E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00293351BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 11720 08eMF11720 20250630 Sheaves in geometry and logic1425040UNICAMPANIA