LEADER 01012nam0-22003371i-450-
001 990001103730403321
035   $a000110373
035   $aFED01000110373
035   $a(Aleph)000110373FED01
035   $a000110373
100   $a20000920d????----km-y0itay50------ba
101 0 $aita
200 1 $aComputabilità e Insolubilità$eIntroduzione alla teoria della computabilità e alla teoria delle funzioni ricorsive$fMartin Davis
205   $aEd. italiana / a cura di Mariano Bianca
210   $aRoma$cEdizioni Abete$d[s.d.]
215   $aXXVI, 269 p.$d24 cm
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aDavis,$bMartin$f<1928- >$051851
702  1$aBianca,$bMariano
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001103730403321
952   $a7-270$b17788$fFI1
952   $a7-270.001$b17790$fFI1
952   $a7-270.002$b17789$fFI1
959   $aFI1
996   $aComputabilità e Insolubilità$9338144
997   $aUNINA
DB    $aING01