Record ID | marc_laurentian/openlibrary.mrc:424868267:730 |
Source | The Laurentian Library |
Download Link | /show-records/marc_laurentian/openlibrary.mrc:424868267:730?format=raw |
LEADER: 00730nam 2200217 4500
001 07-0070639
005 20020709120650.0
008 020430|||||||||||||||||||||||||||||
033 $a911104
035 $a(Sirsi) a440303
035 $a072677
090 $aQA 248.5 D33
100 10 $aDavis, Martin,$d1928-
245 14 $aThe undecidable :$bbasic papers on undecidable propositions, unsolvable problems and computable functions.
260 0 $aHewlett, N.Y.
650 0 $aGödel's theorem.
650 0 $aRecursive functions.
650 0 $aTurning machines.
949 $aQA 248.5 D33$v1$wLC$i31520000726778$rY$tBOOKS$lALGO-CIRC$mALGOMA
596 $a6
999 $aQA 248.5 D33 1$wLC$c1$i31520000726778$lALGO-CIRC$mALGOMA$rY$sY$tBOOKS$u12/6/2003