02168nam0 2200505 i 450 VAN0005447120250523022131.63003-87977-10-4978-03-87977-10-220061013d1992 |0itac50 baengUS|||| |||||i e nncSheaves 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, SaundersVANV043056ITSOL20250606RICA/sebina/repository/catalogazione/documenti/Sheaves in Geometry and Logic.pdfSheaves in Geometry and Logic.pdfBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00054471BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2568 08 4811 I 20061013 Sheaves in geometry and logic1425040UNICAMPANIA