Mathematical logic / Ebbinghaus, Heinz-Dieter

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

---

page 1/1