TY  - GEN
AU  - Kock, A
TI  - Elementary toposes
PY  - 1970///
CY  - Aarhus
PB  - Universitet  Aarhus
N1  - Contine bibliografie
ER  -