TY  - BOOK
AU  - Makkai,Michael
AU  - Reyes,Gonzalo E.
TI  - First order categorical logic: model-theoretical methods in the theory of topoi and related categories 
T2  - Lecture Notes in Mathematics
SN  - 3540084398
PY  - 1977///
CY  - Berlin
PB  - Springer Verlag
KW  - Teoria modeli
KW  - kaba
KW  - Kategorie (matematyka)
KW  - Toposy (matematyka)
N1  - Bibliogr. s. 298-301; Dostępne również w formie elektronicznej
UR  - https://www.infona.pl/resource/isbn/9783540084396
ER  -