| 000 | 00929nam a22002177a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20240923141905.0 | ||
| 008 | 190228b ||||| |||| 00| 0 eng d | ||
| 020 | _a9780387977102 | ||
| 040 |
_cTata Book House _aICTS-TIFR |
||
| 050 | _aQA169 | ||
| 100 | _aMac Lane Saunders | ||
| 245 |
_a Sheaves in geometry and logic _b : a first introduction to topos theory |
||
| 260 |
_aNew York: _bSpringer, _c[c1994] |
||
| 300 | _a627 p | ||
| 490 | _aUniversitext | ||
| 505 | _a Categorical Preliminaries 1. Categories of Functors 2. Sheaves of Sets 3. Grothendieck Topologies and Sheaves 4. First Properties of Elementary Topoi 5. Basic Constructions of Topoi 6. Topoi and Logic 7. Geometric Morphisms 8. Classifying Topoi 9. Localic Topoi 10. Geometric Logic and Classifying Topoi | ||
| 700 | _aMoerdijk Ieke | ||
| 856 | _uhttps://link.springer.com/book/10.1007/978-1-4612-0927-0#toc | ||
| 942 |
_2lcc _cBK |
||
| 999 |
_c2415 _d2415 |
||