> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: First order categorical logic : model-theoretical methods in the theory of topoi and related categories Beteiligte: Makkai, Michael [Verfasser:in]; Reyes, Gonzalo E. [Verfasser:in] Erschienen: Berlin [u.a.]: Springer, 1977 Erschienen in: Lecture notes in mathematics ; 611 Umfang: VIII, 301 S.; graph. Darst; 25 cm Sprache: Englisch ISBN: 3540084398; 0387084398 RVK-Notation: SI 850 : Lecture notes in mathematics Schlagwörter: Kategorie > Modelltheorie Modelltheorie > Topos Kategorielle Logik Mathematische Logik Kategorie Entstehung: Anmerkungen: Literaturverz. S. [298] - 301 Weitere Bestandsnachweise 0 : Lecture notes in mathematics <Berlin>