LEADER 01126nam0-22003971i-450- 001 990001501330403321 005 20090715121416.0 010 $a88-386-0757-5 035 $a000150133 035 $aFED01000150133 035 $a(Aleph)000150133FED01 035 $a000150133 100 $a20030304d1997----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $aa---a---001yy 200 1 $aLogica a informatica$fAndrea Asperti, Agata Ciabattoni 210 $aMilano$cMcGraw-Hill$dc1997 215 $axxii, 230 p.$cill.$d24 cm 225 1 $aCollana di istruzione scientifica$iSerie di informatica 610 0 $aInformatica 610 0 $aLogica matematica 676 $a004$v21 700 1$aAsperti,$bAndrea$053304 701 1$aCiabattoni,$bAgata$067180 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001501330403321 952 $a004-ASP-1A$b2071$fSC1 952 $a004-ASP-1$b2070$fSC1 952 $a004-ASP-1B$b2072$fSC1 952 $a004-ASP-1D$b2074$fSC1 952 $a004-ASP-1C$b2073$fSC1 959 $aSC1 996 $aLogica a informatica$9377179 997 $aUNINA