01759fam a2200397 a 4500 1530581 BD-DhUL 20140822153611.0 931227s1994 nyua b 001 0 eng 93050621 0387942580 (New York : acidfree paper) 3540942580 (Berlin : acidfree paper) (OCoLC)29667924 (OCoLC)ocm29667924 (NNC)1530581 DLC DLC DLC BD-DhUL eng ger QA9 .E2213 1994 511.3 20 EBM Ebbinghaus, Heinz-Dieter, 1939- Einführung in die mathematische Logik. English Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas. 2nd ed. New York : Springer-Verlag, c1994. x, 289 p. : ill. ; 25 cm. USD 59.10 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. Logic, Symbolic and mathematical. Flum, Jörg. Thomas, Wolfgang, 1947- Undergraduate texts in mathematics. AUTH TOC ddc BK 5269 5269 0 0 ddc 0 511_300000000000000_EBM 0 NFIC 9180 DUSL DUSL GEN 1999-01-13 purcheses 511.3 EBM 373963 2014-08-22 1 2014-08-22 BK