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