000 00898pam a2200289 a 4500
999 _c108650
_d108650
001 2015708
003 OSt
005 20210630155621.0
008 910829s1992 nyua b 001 0 eng
020 _a9780387977102 (pbk.)
040 _aDLC
_cDLC
_dDLC
082 0 0 _a512.55 MAC
_220
100 1 _aMac Lane, Saunders,
_d1909-2005.
245 1 0 _aSheaves in geometry and logic :
_ba first introduction to topos theory /
_cSaunders Mac Lane, Ieke Moerdijk.
260 _aNew York :
_bSpringer-Verlag,
_cc1994.
300 _axii, 629 p. :
_bill. ;
_c23 cm.
490 0 _aUniversitext
500 _aEuro: 69.99/- TB742/19
504 _aIncludes bibliographical references (p. 603-612) and indexes.
650 0 _aToposes.
650 0 _aLogic, Symbolic and mathematical
650 0 _aK-theory
650 0 _aMathematics
650 0 _aGeometry
700 1 _aMoerdijk, Ieke.
942 _2ddc
_cBK