Ebbinghaus, Heinz-Dieter 1939- creator Flum, Jörg. Thomas, Wolfgang 1947- text bibliography nyu New York Springer-Verlag c1994 1994 2nd ed. monographic eng ger

print

x, 289 p. : ill. ; 25 cm. 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. H.-D. Ebbinghaus, J. Flum, W. Thomas. Includes bibliographical references (p. [277]-279) and indexes. Logic, Symbolic and mathematical QA9 .E2213 1994 511.3 EBM 0387942580 (New York : acidfree paper) 3540942580 (Berlin : acidfree paper) 93050621 DLC 931227 20140822153611.0 1530581