01090nam--2200325---450099000107754020331620031021165131.0000107754USA01000107754(ALEPH)000107754USA0100010775420020507d1977----km-y0ENGy0103----baengDEFirst order categorical logicmodel-theoretical methods on the theory of Topoi and related categoriesMichael Makkai, Gonzalo E. ReyesBerlinSpringer verlag1977VIII, 301 p.ill.24 cmLecture notes in mathematics6112001Lecture notes in mathematics611MAKKAI,Michael55822REYES,Gonzalo E.55824ITsalbcISBD990001077540203316510 LNM 611907551000109704BKALESSANDRA9020020507USA011311PATRY9020031021USA011651PATRY9020040406USA011715First order categorical logic80825UNISA