01185nam a2200325 i 450099100089526970753620020507175418.0970630s1977 de ||| | eng 3540084398b10772406-39ule_instLE01303968ExLDip.to Matematicaeng511.3AMS 03CMakkai, Michael55822First order categorical logic :model-theoretical methods in the theory of topoi and related categories /Michael Makkai, Gonzalo ReyesBerlin ; New York :Springer-Verlag,1977viii, 301 p. :ill. ;25 cm.Lecture notes in mathematics,0075-8434 ;611Bibliography: p. [298]-301CategoriesModel theoryToposesReyes, Gonzalo E..b1077240623-02-1728-06-02991000895269707536LE013 03C MAK11 (1977)12013000087009le013-E0.00-l- 02020.i1087090828-06-02First order categorical logic262847UNISALENTOle01301-01-97ma -engde 01