LEADER 00787nam0-22002771i-450-
001 990001330760403321
035   $a000133076
035   $aFED01000133076
035   $a(Aleph)000133076FED01
035   $a000133076
100   $a20000920d1991----km-y0itay50------ba
101 0 $aeng
200 1 $aSeminari di logica lineare$eCalcolo dei sequenti e semantica delle fasi$fVito Michele Abrusci.
210   $aBari$cLaterza$d1991.
215   $a194 p.$d24 cm
610 0 $aLogica matematica$aManuali
676   $a510.3
700  1$aAbrusci,$bVito Michele$044476
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001330760403321
952   $a124-L-39$b12040$fMA1
959   $aMA1
996   $aSeminari di logica lineare$9376528
997   $aUNINA
DB    $aING01