LEADER 01522nam0-2200409---450 
001 990005603580203316
005 20220106173141.0
035   $a000560358
035   $aUSA01000560358
035   $a(ALEPH)000560358USA01
035   $a000560358
100   $a19981214d1975----|||y0itaa50------ba
101   $aita
102   $ait
105   $a0 00|||
200 1 $aEnumerabilitą, decidibilitą, computabilitą$eintroduzione alla teoria delle decisioni ricorsive$fHans Hermes$g[trad. di Edoardo Ballo]
210   $aTorino$cBoringhieri$d1975
215   $a318 p.$d21 cm
225 2 $aTesti e manuali della scienza contemporanea. Serie di logica matematica$fdiretta da Corrado Mangione
300   $aTrad. di: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
410  0$12001$aTesti e manuali della scienza contemporanea. Serie di logica matematica
454   $1001SA0007021$12001$aAufzählbarkeit, Entscheidbarkeit, Berechenbarkeit$fHans Hermes.$923729
606   $aFunzioni ricorsive.$2F
620   $dTORINO
676   $a511.35
700  1$aHERMES,$bHans$042101
702  1$aBALLO,$bEdoardo
801  0$aIT$bSA$c20111219
912   $a990005603580203316
950  0$aDipar.to di Filosofia - Salerno$dDFF.V. HER (294)$e1928 FIL
951   $aXV.17. 294 (F.V. HER) (294)$b1928 FIL$cXV.17$d462307
959   $aBK
969   $aFVER
979   $c20121027$lUSA01$h1525
979   $c20121027$lUSA01$h1614
996   $aAufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit$923729
997   $aUNISA