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)

Bib. CRDM (Mathématiques)

Holdings details from Bib. CRDM (Mathématiques)
Location Call Number Loan type Status
Bibliothèque LNM/611 Prêt sans prolongation Available