LEADER 01152nam2-2200337li-450 001 990003231140203316 005 20180918155405.0 035 $a000323114 035 $aUSA01000323114 035 $a(ALEPH)000323114USA01 035 $a000323114 100 $a2002009041975-------y0itay0103----ba 101 0 $aita 102 $aIT 200 1 $aEnumerabilitą decidibilitą computabilitą$eintroduzione alla teoria delle funzioni ricorsive$fHans Hermes 210 $aTorino$cBoringhieri$dcopyr. 1975 215 $a318 p.$cill.$d21 cm 225 2 $aTesti e manuali della scienza contemporanea. Serie di logica matematica$v5 410 1$10010022574$12001$aTesti e manuali della scienza contemporanea. Serie di logica matematica$v5 606 1 $aLogica matematica 676 $a511.3 700 1$aHERMES,$bHans$042101 801 $aITA$bsalbc$gISBD 912 $a990003231140203316 951 $a510 TMSL 5$b5303/CBS$c510$d00218549 959 $aBK 969 $aSCI 979 $aRSIAV7$b90$c20090429$lUSA01$h1130 979 $aRSIAV7$b90$c20091112$lUSA01$h0847 996 $aEnumerabilitą, decidibilitą, computabilitą$9383725 997 $aUNISA LEADER 01168nam0 22002653i 450 001 SUN0121584 005 20190524105530.857 010 $a978-88-89854-33-4$d0.00 100 $a20190524d2015 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $a*Alfonso I d'Este, le immagini e il potere$eda Ercole de' Roberti a Michelangelo$fVincenzo Farinella$gcon la Cronistoria biografica di Alfonso I d'Este di Marialucia Menegatti$ge il Pulcher visus di Scipione Balbo a cura di Giorgio Bacci 210 $a Milano$cOfficina libraria$d2015 215 $aXI, 1042 p. 25 cm. 620 $dMilano$3SUNL000284 700 1$aFarinella$b, Vincenzo$3SUNV043936$038868 702 1$aMenegatti$b, Marialucia$3SUNV072804 702 1$aBacci$b, Giorgio$3SUNV076262 712 $aOfficina libraria$3SUNV010204$4650 801 $aIT$bSOL$c20190527$gRICA 912 $aSUN0121584 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$d07CONS Nb 686 $e07UBL975 20190524 $sBuono 996 $aAlfonso I d'Este, le immagini e il potere$91552942 997 $aUNICAMPANIA