TY  - BOOK
AU  - Mac Lane Saunders
AU  - Moerdijk Ieke
TI  -  Sheaves in geometry and logic:  : a first introduction to topos theory
T2  - Universitext 
SN  - 9780387977102
AV  - QA169 
PY  - 1994///]
CY  - New York
PB  - Springer
N1  -  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
UR  - https://link.springer.com/book/10.1007/978-1-4612-0927-0#toc
ER  -