TY  - BOOK
AU  - Barr Michael
AU  - Wells Charles
TI  - Toposes, triples and theories
U1  - 512.55 
PY  - 1985///
CY  - N Y
PB  - Springer-Verlag
KW  - Categories
KW  - Toposes
ER  -