00805cam0 2200241 450 E60020005474820200924090044.020091013d1992 |||||ita|0103 baitaITSeminari di logica lineareCalcolo dei sequenti e semantica delle fasiVito Michele AbrusciBariLaterza1992196 p.24 cmAbrusci, Vito MicheleA60020005740107044476ITUNISOB20200924RICAUNISOBUNISOB10080499E600200054748M 102 Monografia moderna SBNM100009019Si80499acquistopregresso2UNISOBUNISOB20091013085816.020200924090007.0AlfanoSeminari di logica lineare376528UNISOB