LEADER 01314nam2-2200397li-450 
001 990000228260203316
005 20180312154701.0
010   $a0-13-564139-X
035   $a0022826
035   $aUSA010022826
035   $a(ALEPH)000022826USA01
035   $a0022826
100   $a20001109d1993----km-y0itay0103----ba
101 0 $aeng
102   $aUS
200 1 $aMathematical logic for computer science$fM. Ben-Ari
210   $aNew York [etc.]$cPrentice Hall$dcopyr. 1993
215   $aXI, 305 p.$cill.$d24 cm
225 2 $aPrentice Hall international seriesin computer science$v0
410  0$10010022804$12001$aPrentice Hall international seriesin computer science
610 1 $alogica matematica
610 1 $alogica simbolica
676   $a5113$9Logica simbolica (Logica matematica)
700  1$aBen_Ari,$bM.$05385
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000228260203316
951   $a001.6 SCS (20)$b0017394$c001.6$d00105313
959   $aBK
969   $aSCI
979   $c19950905
979   $c20001110$lUSA01$h1714
979   $aALANDI$b90$c20010219$lUSA01$h1611
979   $c20020403$lUSA01$h1631
979   $aPATRY$b90$c20040406$lUSA01$h1616
996   $aMathematical logic for computer science$91020153
997   $aUNISA