| 000 | 00514nam a2200145Ia 4500 | ||
|---|---|---|---|
| 999 |
_c170321 _d170321 |
||
| 020 | _a1441906142 | ||
| 040 | _cCUS | ||
| 082 |
_a511.3 _bMAN/C |
||
| 100 | _aManin, Yu. I. | ||
| 245 | 2 |
_aA course in mathematical logic for mathematicians/ _cYu. I. Manin |
|
| 250 | _a2nd ed. | ||
| 260 |
_aNew York: _bSpringer, _cc2010. |
||
| 300 |
_axvii, 384 p. : _bill. ; _c25 cm. |
||
| 440 |
_a(Graduate texts in mathematics), _v53 |
||
| 505 | _aProvability Introduction to formal languages -- Truth and deducibility -- The continuum problem and forcing -- The continuum problem and constructible sets -- Computability Recursive functions and Church's thesis -- Diophantine sets and algorithmic undecidability -- Provability and computability Godel's incompleteness theorem -- Recursive groups-- Constructive universe and computation -- Model theory. | ||
| 650 | _aLogic | ||
| 650 | _aModel theory | ||
| 650 | _aProof theory | ||
| 650 | _aMathematics | ||
| 942 | _cWB16 | ||