A partir de cette page vous pouvez :
Retourner à l'écran de résultat de la dernière recherche | Consulter l'historique des recherches | Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Michael Makkai
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesDuality and definability in first order logic (1993) / Michael Makkai
Titre : Duality and definability in first order logic Type de document : texte imprimé Auteurs : Michael Makkai, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : 1993 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 503 Importance : IX-106 p. ISBN/ISSN/EAN : 978-0-8218-2565-5 Langues : Anglais (eng) Catégories : 03C20
03C40
03G30
18D05Mots-clés : logique du premier ordre dualité topos Note de contenu : références Duality and definability in first order logic [texte imprimé] / Michael Makkai, Auteur . - American Mathematical Society, 1993 . - IX-106 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 503) .
ISBN : 978-0-8218-2565-5
Langues : Anglais (eng)
Catégories : 03C20
03C40
03G30
18D05Mots-clés : logique du premier ordre dualité topos Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5434 854/503 Livre Recherche Salle Disponible First order categorical logic (1977) / Michael Makkai
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 (eng) Catégories : 02H05
02H10
02J99
14F20
18F10Mots-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 . - Springer-Verlag, 1977 . - VIII-301 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 611) .
ISBN : 978-3-540-08439-6
Langues : Anglais (eng)
Catégories : 02H05
02H10
02J99
14F20
18F10Mots-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