| 000 | 00985nam a22003137a 4500 | ||
|---|---|---|---|
| 003 | IIITD | ||
| 005 | 20250221105314.0 | ||
| 008 | 250221b |||||||| |||| 00| 0 eng d | ||
| 020 | _a9781032919140 | ||
| 040 | _aIIITD | ||
| 082 |
_a511.3 _bMEN-I |
||
| 100 | _aMendelson, Elliot | ||
| 245 |
_aIntroduction to mathematical logic _cby Elliot Mendelson |
||
| 250 | _a6th ed. | ||
| 260 |
_aBoca Raton : _bCRC Press, _c©2024 |
||
| 300 |
_axxiv, 489 p. ; _c24 cm. |
||
| 490 | _aTextbooks in Mathematics | ||
| 504 | _aIncludes bibliographical references and index | ||
| 505 | _tChapter 1: The Propositional Calculus | ||
| 505 | _tChapter 2: First-Order Logic and Model Theory | ||
| 505 | _tChapter 3: Formal Number Theory | ||
| 505 | _tChapter 4: Axiomatic Set Theory | ||
| 505 | _tChapter 5: Computability | ||
| 650 | _aMathematical logic | ||
| 650 | _aArithmetic function | ||
| 650 | _aComplete theory | ||
| 650 | _aCommutativity of conjunction | ||
| 942 |
_cBK _2ddc |
||
| 999 |
_c189851 _d189851 |
||