00787nam0-22002771i-450-990001330760403321000133076FED01000133076(Aleph)000133076FED0100013307620000920d1991----km-y0itay50------baengSeminari di logica lineareCalcolo dei sequenti e semantica delle fasiVito Michele Abrusci.BariLaterza1991.194 p.24 cmLogica matematicaManuali510.3Abrusci,Vito Michele44476ITUNINARICAUNIMARCBK990001330760403321124-L-3912040MA1MA1Seminari di logica lineare376528UNINAING01