LEADER 00906nam--2200313---450-
001 990003227240203316
005 20090424103827.0
035   $a000322724
035   $aUSA01000322724
035   $a(ALEPH)000322724USA01
035   $a000322724
100   $a20090424d1965----km-y0itay50------ba
101   $aeng
102   $aUS
105   $a||||||||001yy
200 1 $a<<The>> undecidable$eBasic papers on undecidable propositions, unsolvable problems and computable functions$fEdited by Martin Davis
210   $aNew York$cRaven Press$d1965
215   $a440 p.$d23 cm
606 0 $aLogica matematica
676   $a511.3
702  1$aDAVIS,$bMartin
801  0$aIT$bsalbc$gISBD
912   $a990003227240203316
951   $a511.3 UND$b8069/CBS$c511.3$d00218452
959   $aBK
969   $aSCI
979   $aRSIAV6$b90$c20090424$lUSA01$h1038
996   $aUndecidable$91011598
997   $aUNISA