Titre :	First order categorical logic : model-theoretical methods in the theory of topoi and related categories
Type de document :	texte imprimé
Auteurs :	Michael Makkai, Auteur ; Gonzalo E. REYES, Auteur
Editeur :	Berlin : Springer-Verlag
Année de publication :	1977
Collection :	Lecture Note in Mathematics, ISSN 0075-8434 num. 611
Importance :	VIII-301 p.
ISBN/ISSN/EAN :	978-3-540-08439-6
Langues :	Anglais
Catégories :	02H05 02H10 02J99 14F20 18F10
Mots-clés :	premier ordre  logique catégorique
Note de contenu :	références

First order categorical logic : model-theoretical methods in the theory of topoi and related categories [texte imprimé] / Michael Makkai, Auteur ; Gonzalo E. REYES, Auteur . - Berlin : Springer-Verlag, 1977 . - VIII-301 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 611) .
ISBN : 978-3-540-08439-6
Langues : Anglais

Catégories :	02H05 02H10 02J99 14F20 18F10
Mots-clés :	premier ordre  logique catégorique
Note de contenu :	références