| 000 | 00543pam a2200169a 44500 | ||
|---|---|---|---|
| 040 | _aP K Kelkar Library, IIT Kanpur | ||
| 082 |
_a512.8 _bD295u |
||
| 100 | _aDavis, Martin | ||
| 245 | 1 |
_aThe Undecidable _bbasic papers on undecidable propositions, unsolvable problems and computable functions _cedited by Martin Davis |
|
| 260 |
_aNew York _bRaven Press _c1965 |
||
| 300 | _a440p | ||
| 650 | _aRecursive functions | ||
| 650 | _aGodel's theorem | ||
| 650 | _aTurning machines | ||
| 700 | _aDavis, Martin, Ed. | ||
| 997 | _a55544 C | ||
| 999 |
_c427882 _d427882 |
||