A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Ebbinghaus, Heinz-Dieter
Documents disponibles écrits par cet auteur
Affiner la rechercheErnst Zermelo / Ebbinghaus, Heinz-Dieter
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 18964 01C84 imprimé / autre CRDM 01/HISTOIRE DES MATHEMATIQUES Disponible
Titre : Finite model theory Type de document : texte imprimé Auteurs : Ebbinghaus, Heinz-Dieter ; Flum, Jörg Mention d'édition : 2nd ed. Editeur : Springer-Verlag Année de publication : 1999 Collection : Perspectives in Mathematical Logic Importance : xiii - 360 p. ISBN/ISSN/EAN : 978-3-540-65758-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03CXX Model theory:03C13 Finite structures
68-XX Computer science :68QXX Theory of computing:68Q19 Descriptive complexity and finite modelsIndex. décimale : 03C Monographie Finite model theory [texte imprimé] / Ebbinghaus, Heinz-Dieter ; Flum, Jörg . - 2nd ed. . - [S.l.] : Springer-Verlag, 1999 . - xiii - 360 p.. - (Perspectives in Mathematical Logic) .
ISBN : 978-3-540-65758-3
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03CXX Model theory:03C13 Finite structures
68-XX Computer science :68QXX Theory of computing:68Q19 Descriptive complexity and finite modelsIndex. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15539 03C152 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible
Titre : Mathematical logic Type de document : texte imprimé Auteurs : Ebbinghaus, Heinz-Dieter ; Thomas, W. ; Flum, J. ; A. S. Ferebee, Traducteur Mention d'édition : 2nd ed. Editeur : Springer-Verlag Année de publication : 1994 Collection : Undergraduate Texts in Mathematics Importance : x - 289 p. ISBN/ISSN/EAN : 978-0-387-94258-2 Langues : Anglais Langues originales : Allemand Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic
03-XX Mathematical logic and foundations:03BXX General logic:03B99 None of the above, but in this sectionMots-clés : g?'s incompleteness theorems l?heim- skolem theorem compactness theorem sequent calculus completeness theorem Index. décimale : 03C Monographie Mathematical logic [texte imprimé] / Ebbinghaus, Heinz-Dieter ; Thomas, W. ; Flum, J. ; A. S. Ferebee, Traducteur . - 2nd ed. . - [S.l.] : Springer-Verlag, 1994 . - x - 289 p.. - (Undergraduate Texts in Mathematics) .
ISBN : 978-0-387-94258-2
Langues : Anglais Langues originales : Allemand
Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic
03-XX Mathematical logic and foundations:03BXX General logic:03B99 None of the above, but in this sectionMots-clés : g?'s incompleteness theorems l?heim- skolem theorem compactness theorem sequent calculus completeness theorem Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16546 03C161 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible
Titre : Les Nombres : leur histoire, leur place et leur rôle de l'Antiquité aux recherches actuelles Type de document : texte imprimé Auteurs : Koecher Max ; Hirzebruch, Friedrich ; Hermes Hans ; Ebbinghaus, Heinz-Dieter ; Klaus Mainzer, Auteur ; Guénard, François, Traducteur Editeur : Paris : Vuibert Année de publication : 1998 Importance : xxiii - 433 p. ISBN/ISSN/EAN : 978-2-7117-8901-6 Langues : Français Mots-clés : history numbers Index. décimale : 01C Histoire des Mathématiques Les Nombres : leur histoire, leur place et leur rôle de l'Antiquité aux recherches actuelles [texte imprimé] / Koecher Max ; Hirzebruch, Friedrich ; Hermes Hans ; Ebbinghaus, Heinz-Dieter ; Klaus Mainzer, Auteur ; Guénard, François, Traducteur . - Paris : Vuibert, 1998 . - xxiii - 433 p.
ISBN : 978-2-7117-8901-6
Langues : Français
Mots-clés : history numbers Index. décimale : 01C Histoire des Mathématiques Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16537 01C49 imprimé / autre CRDM 01/HISTOIRE DES MATHEMATIQUES Disponible 16592 01C49 imprimé / autre CRDM 01/HISTOIRE DES MATHEMATIQUES Exclu du prêt
Titre : Recursion theory week Titre original : proceedings of a conference held in Oberwolfach Westgermany Type de document : texte imprimé Auteurs : Muller, G. H. ; Ebbinghaus, Heinz-Dieter ; Sacks, Gerald E., Editeur scientifique Editeur : Springer-Verlag Année de publication : 1985 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 1141 Importance : ix - 418 p. ISBN/ISSN/EAN : 978-0-387-15673-6 Langues : Anglais Mots-clés : recursion theory Index. décimale : LNM Recursion theory week = proceedings of a conference held in Oberwolfach Westgermany [texte imprimé] / Muller, G. H. ; Ebbinghaus, Heinz-Dieter ; Sacks, Gerald E., Editeur scientifique . - [S.l.] : Springer-Verlag, 1985 . - ix - 418 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 1141) .
ISBN : 978-0-387-15673-6
Langues : Anglais
Mots-clés : recursion theory Index. décimale : LNM Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5092 LNM/1141 imprimé / autre CRDM LNM/LECTURES NOTES IN MATHEMATICS Disponible
Permalink
Permalink
