LEADER 00831nam0-22002891i-450-
001 990000981100403321
035   $a000098110
035   $aFED01000098110
035   $a(Aleph)000098110FED01
035   $a000098110
100   $a--------d--------km-y0itay50------ba
101 0 $aeng
200 1 $a<<The >>Undecidable$eBasic papers on undecidable propositions, unsolvable problems and computable functions$fedited by Martin Davis
210   $aHewlett$cRaven Press$d1965
215   $a440 p.$d24 cm
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aDavis,$bMartin$f<1928- >$051851
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000981100403321
952   $a7-131$b5188$fFI1
952   $a7-131.001$b$fFI1
959   $aFI1
996   $aUndecidable$9353378
997   $aUNINA