000			01759fam a2200397 a 4500
001			1530581
003			BD-DhUL
005			20140822153611.0
008			931227s1994 nyua b 001 0 eng
010			_a 93050621
020			_a0387942580 (New York : acidfree paper)
020			_a3540942580 (Berlin : acidfree paper)
035			_a(OCoLC)29667924
035			_a(OCoLC)ocm29667924
035			_a(NNC)1530581
040			_aDLC _cDLC _dDLC _dBD-DhUL
041	1		_aeng _hger
050	0	0	_aQA9 _b.E2213 1994
082	0	0	_a511.3 _220 _bEBM
100	1		_aEbbinghaus, Heinz-Dieter, _d1939-
240	1	0	_aEinführung in die mathematische Logik. _lEnglish
245	1	0	_aMathematical logic / _cH.-D. Ebbinghaus, J. Flum, W. Thomas.
250			_a2nd ed.
260			_aNew York : _bSpringer-Verlag, _cc1994.
300			_ax, 289 p. : _bill. ; _c25 cm.
365			_aUSD _b59.10
490	1		_aUndergraduate texts in mathematics
504			_aIncludes bibliographical references (p. [277]-279) and indexes.
505	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.
650		0	_aLogic, Symbolic and mathematical.
700	1		_aFlum, Jörg.
700	1		_aThomas, Wolfgang, _d1947-
830		0	_aUndergraduate texts in mathematics.
900			_aAUTH _bTOC
942			_2ddc _cBK
999			_c5269 _d5269