TY  - BOOK
AU  - Makkai Michael
AU  - Reyes G E
TI  - First order categorical logic ; model-theoretical methods in the theory of Topoi and related categories
U1  - 512.55 
PY  - 1977///
CY  - Berlin
PB  - Springer-Verlag
KW  - Categorical logic
KW  - Model tjeory
KW  - Toposes
ER  -