LEADER 01225nam0-2200409li-450 001 990000258300203316 005 20180918155410.0 010 $a88-386-0757-5 035 $a0025830 035 $aUSA010025830 035 $a(ALEPH)000025830USA01 035 $a0025830 100 $a2001998111997-------y0itay0103----ba 101 0 $aita 102 $aIT 200 1 $aLogica a informatica$fAndrea Asperti, Agata Ciabattoni 210 $aMilano$cMcGraw-Hill$dcopyr. 1997 215 $aXXII, 230 p.$cill.$d23 cm 606 0 $aInformatica 606 0 $aLogica matematica 676 $a511.3 700 1$aASPERTI,$bAndrea$053304 702 1$aCiabattoni,$bAgata 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000258300203316 951 $a511.3 ASP (A)$b20643/CBS$d511.3$d00216117 959 $aBK 969 $aSCI 979 $c19981129 979 $c20001110$lUSA01$h1715 979 $c20020403$lUSA01$h1634 979 $aPATRY$b90$c20040406$lUSA01$h1618 979 $aPATRY$b90$c20060127$lUSA01$h1526 979 $aPATRY$b90$c20060127$lUSA01$h1526 979 $aRSIAV6$b90$c20090417$lUSA01$h1036 996 $aLogica a informatica$91426547 997 $aUNISA