| 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 |
||