TY  - BOOK
AU  - Kock A
AU  - Wraith G C
TI  - Elementary toposes
U1  - 514 
PY  - 1971///
CY  - Aarhus
PB  - University
KW  - Topology
KW  - Topos
ER  -