01920fam a2200409 a 45000010008000000030008000080050017000160080041000330100017000740200043000910200041001340350020001750350023001950350017002180400027002350410013002620500021002750820019002961000037003152400054003522450064004062500012004702600041004823000032005233650015005554900039005705040068006095050520006776500038011977000018012357000029012538300040012829000014013229420012013369990015013489520147013631530581BD-DhUL20140822153611.0931227s1994    nyua     b    001 0 eng    a   93050621   a0387942580 (New York : acidfree paper)  a3540942580 (Berlin : acidfree paper)  a(OCoLC)29667924  a(OCoLC)ocm29667924  a(NNC)1530581  aDLCcDLCdDLCdBD-DhUL1 aenghger00aQA9b.E2213 199400a511.3220bEBM1 aEbbinghaus, Heinz-Dieter,d1939-10aEinführung in die mathematische Logik.lEnglish10aMathematical logic /cH.-D. Ebbinghaus, J. Flum, W. Thomas.  a2nd ed.  aNew York :bSpringer-Verlag,cc1994.  ax, 289 p. :bill. ;c25 cm.  aUSDb59.101 aUndergraduate texts in mathematics  aIncludes bibliographical references (p. [277]-279) and indexes.0 aI. 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. 0aLogic, Symbolic and mathematical.1 aFlum, Jörg.1 aThomas, Wolfgang,d1947- 0aUndergraduate texts in mathematics.  aAUTHbTOC  2ddccBK  c5269d5269  00102ddc406511_300000000000000_EBM708NFIC99180aDUSLbDUSLcGENd1999-01-13epurcheseso511.3 EBMp373963r2014-08-22t1w2014-08-22yBK