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

Topological model theory / Flum, J.

Public ISBD Titre : Topological model theory Type de document : texte imprimé Auteurs : Flum, J. ; Ziegler, M. Editeur : Springer-Verlag Année de publication : 1980 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 769 Importance : x - 149 p. ISBN/ISSN/EAN : 978-3-540-09732-7 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:03C99 None of the above, but in this section 13-XX Commutative rings and algebras:13JXX Topological rings and modules :13J99 None of the above, but in this section 22-XX Topological groups, Lie groups :22-02 Research exposition (monographs, survey articles) 22-XX Topological groups, Lie groups :22AXX Topological and differentiable algebraic systems :22A99 None of the above, but in this section 54-XX General topology :54-02 Research exposition (monographs, survey articles) 54-XX General topology :54AXX Generalities:54A05 Topological spaces and generalizations (closure spaces, etc.) Mots-clés : topological abelian groups  topological model theory Index. décimale : LNM Topological model theory [texte imprimé] / Flum, J. ; Ziegler, M. . - [S.l.] : Springer-Verlag, 1980 . - x - 149 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 769) . ISBN : 978-3-540-09732-7 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:03C99 None of the above, but in this section 13-XX Commutative rings and algebras:13JXX Topological rings and modules :13J99 None of the above, but in this section 22-XX Topological groups, Lie groups :22-02 Research exposition (monographs, survey articles) 22-XX Topological groups, Lie groups :22AXX Topological and differentiable algebraic systems :22A99 None of the above, but in this section 54-XX General topology :54-02 Research exposition (monographs, survey articles) 54-XX General topology :54AXX Generalities:54A05 Topological spaces and generalizations (closure spaces, etc.) Mots-clés : topological abelian groups  topological model theory Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
7568	LNM/769	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

---

page 1/1