A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
First order categorical logic / Michael Makkai (1977)
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
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 . - 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
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 Infinitary logic : in memoriam Carol Karp / D.W. ed. KUEKER (1975)
Titre : Infinitary logic : in memoriam Carol Karp Type de document : monographie Auteurs : D.W. ed. KUEKER, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1975 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 492 ISBN/ISSN/EAN : 978-3-540-07419-9 Note générale : Références Langues : Anglais Catégories : 02B25
02H10
02H13Mots-clés : Karp Carol logique modèle mathématique langage infinitaire Infinitary logic : in memoriam Carol Karp [monographie] / D.W. ed. KUEKER, Auteur . - Berlin : Springer-Verlag, 1975. - (Lecture Note in Mathematics, ISSN 0075-8434; 492) .
ISBN : 978-3-540-07419-9
Références
Langues : Anglais
Catégories : 02B25
02H10
02H13Mots-clés : Karp Carol logique modèle mathématique langage infinitaire Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2901 LN 492 Livre Recherche Salle Disponible Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. TROELSTRA (1973)
Titre : Metamathematical investigation of intuitionistic arithmetic and analysis Type de document : monographie Auteurs : A. S. TROELSTRA, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1973 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 344 ISBN/ISSN/EAN : 978-3-540-06491-6 Langues : Anglais Catégories : 02C15
02D05
02D99
02H10Mots-clés : logique Metamathematical investigation of intuitionistic arithmetic and analysis [monographie] / A. S. TROELSTRA, Auteur . - Berlin : Springer-Verlag, 1973. - (Lecture Note in Mathematics, ISSN 0075-8434; 344) .
ISBN : 978-3-540-06491-6
Langues : Anglais
Catégories : 02C15
02D05
02D99
02H10Mots-clés : logique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3471 LN 344 Livre Recherche Salle Disponible Model theory and topoi / F. William LAWVERE (1975)
Titre : Model theory and topoi : A collection of lectures by various authors Type de document : monographie Auteurs : F. William LAWVERE, Auteur ; C. MAURER, Auteur ; G. C. WRAITH, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1975 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 445 Importance : 354 p. ISBN/ISSN/EAN : 978-3-540-07164-8 Langues : Anglais Catégories : 02B15
02C15
02G20
02H10
02J05
02J15
02J99
02K10
06A20
14A20
14A99
18A05
18A15
18A25
18A30
18B05
18B99
18C05
18C10
18D15
18E15
18E99
18F10
18F20
18F99Mots-clés : modèle mathématique topoi Note de contenu : références Model theory and topoi : A collection of lectures by various authors [monographie] / F. William LAWVERE, Auteur ; C. MAURER, Auteur ; G. C. WRAITH, Auteur . - Berlin : Springer-Verlag, 1975 . - 354 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 445) .
ISBN : 978-3-540-07164-8
Langues : Anglais
Catégories : 02B15
02C15
02G20
02H10
02J05
02J15
02J99
02K10
06A20
14A20
14A99
18A05
18A15
18A25
18A30
18B05
18B99
18C05
18C10
18D15
18E15
18E99
18F10
18F20
18F99Mots-clés : modèle mathématique topoi Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2980 LN 445 Livre Recherche Salle Disponible