1 résultat(s) recherche sur le mot-clé 'logique catégorique'    

First order categorical logic / Michael Makkai (1977)

Public ISBD 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

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
14042	LN 611	Livre	Recherche	Compactus	Exclu du prêt