| 000 | 00854nam a22002777a 4500 | ||
|---|---|---|---|
| 003 | IIITD | ||
| 005 | 20250419133801.0 | ||
| 008 | 250418b |||||||| |||| 00| 0 eng d | ||
| 020 | _a9783031553677 | ||
| 040 | _aIIITD | ||
| 082 |
_a511.3 _bMAR-I |
||
| 100 | _aMarker, David | ||
| 245 |
_aAn invitation to mathematical logic _cby David Marker |
||
| 260 |
_aSwitzerland : _bSpringer, _c©2024 |
||
| 300 |
_axviii, 357 p. ; _c24 cm. |
||
| 440 | _aGraduate texts in mathematics | ||
| 504 | _aIncludes bibliographical references and index | ||
| 505 | _tPart 1. Truth and proof | ||
| 505 | _tPart 2. Elements of model theory | ||
| 505 | _tPart 3. Computability | ||
| 505 | _tPart 4. Arithmetic and Incompleteness | ||
| 650 | _aSymbolic and mathematical logic | ||
| 650 | _aAbstract algebra | ||
| 650 | _aProblem solving | ||
| 942 |
_cBK _2ddc |
||
| 999 |
_c190007 _d190007 |
||