LEADER 01157nam--2200385---450-
001 990003682570203316
005 20120808162423.0
010   $a9788874883738
035   $a000368257
035   $aUSA01000368257
035   $a(ALEPH)000368257USA01
035   $a000368257
100   $a20120808d2010----km-y0itay50------ba
101   $aeng
102   $aIT
105   $a||||||||001yy
200 1 $aMathematical logic for computer science$ean introduction$fDino Mandrioli, paola Spoletini
210   $aBologna$cEsculapio$d2010
215   $a79 p.$d24 cm
225 2 $aProgetto Leonardo
410  0$12001$aProgetto Leonardo
606 0 $aInformatica$xModelli matematici$2BNCF
606 0 $aLogica matematica$2BNCF
676   $a004.0151
700  1$aMANDRIOLI,$bDino$08757
701  1$aSPOLETINI,$bPaola$0517406
801  0$aIT$bsalbc$gISBD
912   $a990003682570203316
951   $a004.0151 MAN$b39628 CBA$c004$d00335649
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20120808$lUSA01$h1623
979   $aANGELA$b90$c20120808$lUSA01$h1624
996   $aMathematical logic for computer science$91140707
997   $aUNISA