Media type: Book Title: First order categorical logic : model-theoretical methods in the theory of topoi and related categories Contributor: Makkai, Michael [Author]; Reyes, Gonzalo E. [Author] imprint: Berlin [u.a.]: Springer, 1977 Published in: Lecture notes in mathematics ; 611 Extent: VIII, 301 S.; graph. Darst; 25 cm Language: English ISBN: 3540084398; 0387084398 RVK notation: SI 850 : Lecture notes in mathematics Keywords: Kategorie > Modelltheorie Modelltheorie > Topos Kategorielle Logik Mathematische Logik Kategorie Origination: Footnote: Literaturverz. S. [298] - 301