LEADER 02168nam0 2200505 i 450 001 VAN00054471 005 20250523022131.630 010 $a03-87977-10-4 010 $a978-03-87977-10-2 100 $a20061013d1992 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 181 $ai$b e 182 $an 183 $anc 200 1 $aSheaves in Geometry and Logic$eA First Introduction to Topos Theory$fSaunders Mac Lane, Ieke Moerdijk 210 $aNew York$cSpringer$d1992 215 $axii, 627 p.$d24 cm 410 1$1001VAN00024506$12001 $aUniversitext$1210 $aBerlin [etc]$cSpringer$d1930- 606 $a03G30$xCategorical logic, topoi [MSC 2020]$3VANC024384$2MF 606 $a14F20$xÉtale and other Grothendieck topologies and (co)homologies [MSC 2020]$3VANC023775$2MF 606 $a18B25$xTopoi [MSC 2020]$3VANC020022$2MF 606 $a18F20$xPresheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020]$3VANC024449$2MF 606 $a54B40$xPresheaves and sheaves in general topology [MSC 2020]$3VANC026707$2MF 610 $aAlgebraic structures$9KW:K 610 $aBoolean algebra$9KW:K 610 $aDivision$9KW:K 610 $aForcing$9KW:K 610 $aHeyting Algebra$9KW:K 610 $aSet Theory$9KW:K 610 $aSets$9KW:K 620 $aUS$dNew York$3VANL000011 700 1$aMac Lane$bSaunders$3VANV019665$026298 701 1$aMoerdijk$bIeke$3VANV043068$059494 712 $aSpringer $3VANV108073$4650 790 1$aMac Lane, S.$zMac Lane, Saunders$3VANV049890 790 1$aMacLane, Saunders$zMac Lane, Saunders$3VANV043056 801 $aIT$bSOL$c20250606$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/Sheaves in Geometry and Logic.pdf$zSheaves in Geometry and Logic.pdf 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN00054471 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 2568 $e08 4811 I 20061013 996 $aSheaves in geometry and logic$91425040 997 $aUNICAMPANIA