| 000 | 00894nam a22002891 4500 | ||
|---|---|---|---|
| 001 | 3113940 | ||
| 003 | IIITD | ||
| 005 | 20170511121029.0 | ||
| 008 | 840604s1965 nyu b 000 0 eng | ||
| 010 | _a 65003996 | ||
| 020 | _a9780486432281 | ||
| 040 |
_aDLC/ICU _cICU _dDLC |
||
| 050 | 0 | 0 |
_aQA248.5 _b.D33 |
| 082 | 0 | 0 |
_a512.8 _bDAV-U |
| 100 | 1 | _aDavis, Martin | |
| 245 | 1 | 4 |
_aThe undecidable : _bbasic papers on undecidable propositions, unsolvable problems and computable functions |
| 260 |
_aNew York : _bDover Publications, _c©1965. |
||
| 300 |
_a440 p. ; _c25 cm. |
||
| 504 | _aIncludes bibliographical references. | ||
| 650 | 0 | _aRecursive functions. | |
| 650 | 0 | _aGödel's theorem. | |
| 650 | 0 | _aTuring machines. | |
| 650 | 0 | _aUnsolvability (Mathematical logic) | |
| 650 | 0 | _aComputable functions. | |
| 906 |
_a7 _bcbc _corignew _du _eocip _f19 _gy-gencatlg |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c7723 _d7723 |
||