LEADER 01291nam--2200373---450-
001 990001660800203316
005 20050613163404.0
035   $a000166080
035   $aUSA01000166080
035   $a(ALEPH)000166080USA01
035   $a000166080
100   $a20040513d1975----km-y0itay0103----ba
101   $aita
102   $aIT
105   $a||||||||001yy
200 1 $aEnumerabilita, decidibilita, computabilita$eintroduzione alla teoria delle funzioni ricorsive$fHans Hermes
210   $aTorino$cBoringhieri$d1975
215   $a318 p.$d24 cm
225 2 $aTesti e manuali della scienza contemporanea.$iSerie di logica matematica$h5
300   $aTrad. dall'inglese (tit.: Enumerability, decidability, computabil ity) di E. Ballo
410  0$12001
454  1$12001$aAufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit$923729
461  1$1001-------$12001
700  1$aHERMES,$bHans$042101
702  1$aBALLO,$bEdoardo
801  0$aIT$bsalbc$gISBD
912   $a990001660800203316
951   $aII.6. Coll.2/ 4(IV C coll. 211/5)$b76772 L.M.$cIV C coll.
959   $aBK
969   $aUMA
979   $aSIAV9$b10$c20040513$lUSA01$h1555
979   $aCOPAT5$b90$c20050613$lUSA01$h1634
996   $aAufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit$923729
997   $aUNISA