| Record ID | marc_loc_2016/BooksAll.2016.part06.utf8:17672833:759 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part06.utf8:17672833:759?format=raw |
LEADER: 00759nam a22002411 4500
001 65003996
003 DLC
005 19840605000000.0
008 840604s1965 nyu b 00000 eng
010 $a 65003996 //r84
040 $aDLC/ICU$cICU
050 0 $aQA248.5$b.D33
082 0 $a512.8
100 10 $aDavis, Martin,$d1928-$eed.
245 14 $aThe undecidable;$bbasic papers on undecidable propositions, unsolvable problems and computable functions.
260 0 $aHewlett, N.Y.,$bRaven Press$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.