| Record ID | ia:isbn_9780486432281 |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/isbn_9780486432281/isbn_9780486432281_marc.xml |
| Download MARC binary | https://www.archive.org/download/isbn_9780486432281/isbn_9780486432281_meta.mrc |
LEADER: 01024dam a22002898a 4500
001 2003067180
003 DLC
005 20090916124303.0
008 031125r20041965nyu b 001 0 eng
010 $a 2003067180
020 $a0486432289 (pbk.)
040 $aDLC$cDLC$dDLC
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-
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0615/2003067180-d.html