| Record ID | OpenLibraries-Trent-MARCs/tier4.mrc:5962299:607 |
| Source | OpenLibraries-Trent-MARCs |
| Download Link | /show-records/OpenLibraries-Trent-MARCs/tier4.mrc:5962299:607?format=raw |
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.