LEADER 01555nam 2200433 450 001 000009010 005 20050718115300.0 100 $a20011203d1975----km-y0itay0103----ba 101 0 $aita 102 $aIT 200 1 $aEnumerabilitą decibilitą computabilitą$fHermes Hans$g[Traduzione di Edoardo Ballo] 210 $aTorino$cBoringhieri$d1975 215 $a318 p.$d21 cm 225 1 $eSerie di logica matematica 304 $aTit. orig. : Aufzählbarkeit, entscheidbarkeit, berechenbarkeit 606 $aLogica matematica 676 $a511.3$v(20. ed.)$9Logica matematica (Logica simbolica) 700 1$aHermes,$bHans$042101 702 1$aBallo,$bEdoardo 801 0$aIT$bUniversitą della Basilicata - B.I.A.$gRICA$2unimarc 912 $a000009010 996 $aEnumerabilit? decibilit? computabilit?$977714 997 $aUNIBAS BAS $aMONSCI BAS $aMONOGR BAS $aSCIENZE CAT $aSTD004$b01$c20011203$lBAS01$h1048 CAT $aTORRE$b20$c20011204$lBAS01$h1211 CAT $aTORRE$b20$c20011204$lBAS01$h1336 CAT $aTORRE$b20$c20011204$lBAS01$h1339 CAT $aTORRE$b20$c20011204$lBAS01$h1341 CAT $aTORRE$b20$c20011204$lBAS01$h1342 CAT $c20050601$lBAS01$h1754 CAT $abatch$b01$c20050718$lBAS01$h1050 CAT $c20050718$lBAS01$h1109 CAT $c20050718$lBAS01$h1139 CAT $c20050718$lBAS01$h1153 FMT Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2DID$BDidattica$3PTS.s3.p28.27$654735$5S54735$820011203$f04$FPrestabile Didattica