| Record ID | marc_records_scriblio_net/part14.dat:157376573:915 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part14.dat:157376573:915?format=raw |
LEADER: 00915cam 22002778a 4500
001 2003067180
003 DLC
005 20031203104003.0
008 031125r20041965nyu b 001 0 eng
010 $a 2003067180
020 $a0486432289 (pbk.)
040 $aDLC$cDLC
050 00 $aQA9.65$b.U53 2004
082 00 $a511.3$222
245 04 $aThe undecidable :$bbasic papers on undecidable propositions, unsolvable problems, and computable functions /$cedited by Martin Davis.
260 $aMineola, NY :$bDover Publication,$c2004.
263 $a0401
300 $ap. cm.
500 $aOriginally published: Hewlett, N.Y. : Raven Press, 1965.
504 $aIncludes bibliographical references and index.
650 0 $aGödel's theorem.
650 0 $aUnsolvability (Mathematical logic)
650 0 $aRecursive functions.
650 0 $aTuring machines.
650 0 $aComputable functions.
700 1 $aDavis, Martin,$d1928-