Ebbinghaus, Heinz-Dieter, 1939-
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas. - 2nd ed. - New York : Springer-Verlag, c1994. - x, 289 p. : ill. ; 25 cm. - Undergraduate texts in mathematics . - Undergraduate texts in mathematics. .
Includes bibliographical references (p. [277]-279) and indexes.
I. Introduction -- II. Syntax of First-Order Languages -- III. Semantics of First-Order Languages -- IV. A Sequent Calculus -- V. The Completeness Theorem -- VI. The Lowenheim-Skolem and the Compactness Theorem -- VII. The Scope of First-Order Logic -- VIII. Syntactic Interpretations and Normal Forms -- IX. Extensions of First-Order Logic -- X. Limitations of the Formal Method -- XI. Free Models and Logic Programming -- XII. An Algebraic Characterization of Elementary Equivalence -- XIII. Lindstrom's Theorems.
0387942580 (New York : acidfree paper) 3540942580 (Berlin : acidfree paper)
93050621
Logic, Symbolic and mathematical.
QA9 / .E2213 1994
511.3 / EBM
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas. - 2nd ed. - New York : Springer-Verlag, c1994. - x, 289 p. : ill. ; 25 cm. - Undergraduate texts in mathematics . - Undergraduate texts in mathematics. .
Includes bibliographical references (p. [277]-279) and indexes.
I. Introduction -- II. Syntax of First-Order Languages -- III. Semantics of First-Order Languages -- IV. A Sequent Calculus -- V. The Completeness Theorem -- VI. The Lowenheim-Skolem and the Compactness Theorem -- VII. The Scope of First-Order Logic -- VIII. Syntactic Interpretations and Normal Forms -- IX. Extensions of First-Order Logic -- X. Limitations of the Formal Method -- XI. Free Models and Logic Programming -- XII. An Algebraic Characterization of Elementary Equivalence -- XIII. Lindstrom's Theorems.
0387942580 (New York : acidfree paper) 3540942580 (Berlin : acidfree paper)
93050621
Logic, Symbolic and mathematical.
QA9 / .E2213 1994
511.3 / EBM