| Record ID | marc_ithaca_college/ic_marc.mrc:98314836:811 |
| Source | Ithaca College Library |
| Download Link | /show-records/marc_ithaca_college/ic_marc.mrc:98314836:811?format=raw |
LEADER: 00811cam a22002531 4500
001 157594
008 840604s1965 nyu b 00000 eng
005 19870317170702.0
010 $a 65003996 //r84$o00232930
035 $9AAS-4116
040 $aDLC/ICU$cCGU$dm.c.$dXIM
050 0 $aQA248.5$b.D33
082 0 $a512.8
049 $aXIMM
100 1 $aDavis, Martin,$d1928- ,$eed.$wcn.
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.