LEADER 00805cam0 2200241   450 
001 E600200054748
005 20200924090044.0
100   $a20091013d1992    |||||ita|0103    ba
101   $aita
102   $aIT
200 1 $aSeminari di logica lineare$eCalcolo dei sequenti e semantica delle fasi$fVito Michele Abrusci
210   $aBari$cLaterza$d1992
215   $a196 p.$d24 cm
700  1$aAbrusci$b, Vito Michele$3A600200057401$4070$044476
801  0$aIT$bUNISOB$c20200924$gRICA
850   $aUNISOB
852   $aUNISOB$j100$m80499
912   $aE600200054748
940   $aM 102 Monografia moderna SBN
941   $aM
957   $a100$b009019$gSi$d80499$racquisto$1pregresso2$2UNISOB$3UNISOB$420091013085816.0$520200924090007.0$6Alfano
996   $aSeminari di logica lineare$9376528
997   $aUNISOB