01090nam1 2200277 i 450 VAN005095620160411123236.28301-985373-5-220060904d1992 |0itac50 baengGB|||| |||||Handbook of logic in computer scienceedited by S. Abramsky, Dov M. Gabbay and T. S. E. MaibaumOxfordClarendon1992- v.24 cm.001VAN00509572001 ˆ1: ‰Backgroundmathematical structuresS. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editorsvolume co-ordinator Dov M. Gabbay210 OxfordClarendon1992215 XII, 827 p.24 cm.1GBOxfordVANL000020AbramskySamsonVANV040029GabbayDov M.VANV040027MaibaumThomas S. E.VANV040030Clarendon <editore>VANV107988650Gabbay, D.Gabbay, Dov M.VANV040028ITSOL20230616RICAVAN0050956Handbook of logic in computer science1407078UNICAMPANIA