| Record ID | ia:undecidablebasic0000davi |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/undecidablebasic0000davi/undecidablebasic0000davi_marc.xml |
| Download MARC binary | https://www.archive.org/download/undecidablebasic0000davi/undecidablebasic0000davi_meta.mrc |
LEADER: 00607cam 22001930u 4500
001 0116300788738
008 022980s1965 nyu eng a
035 $a(Sirsi) AAF-7194
035 $a22678424.C..
040 $aOPET$beng
050 0 $aQA 248.5$bD27
090 0 $aQA 248.5 .D33$bb
100 1 $aDavis, Martin,$d1928-
245 14 $aThe undecidable; $bbasic papers on undecidable propositions, unsolvable problems and computable functions.
260 $aHewlett, N.Y., $bRaven Press $c[1965]
300 $a440 p. $c24 cm.
650 0 $aGödel's theorem.
650 0 $aRecursive functions.
650 0 $aTuring machines.