First order categorical logic : model-theoretical methods in the theory of topoi and related categories

First order categorical logic : model-theoretical methods in the theory of topoi and related categories

Saved in:
Bibliographic Details
Main Authors : Makkai Mihály (Auteur), Reyes Gonzalo E (Auteur)
Format : Book
Language : anglais
Title statement : First order categorical logic : model-theoretical methods in the theory of topoi and related categories / Michael Makkai, Gonzalo E. Reyes
Published : Berlin, Heidelberg, New York : Springer-Verlag , 1977, cop. 1977
Physical Description : 1 vol. (VIII-301 p.)
Series : Lecture notes in mathematics ; 611
Subjects :
Théorie des modèles
Catégories (mathématiques)
Topos (mathématiques)
Description
Bibliography : Bibliogr. p. [298]-301
ISBN : 3-540-08439-8
0-387-08439-8