00940nam1 2200277 i 450 SUN005095620160411123236.28301-985373-5-20.0020060904d1992 |0engc50 baengGB|||| |||||Handbook of logic in computer scienceedited by S. Abramsky, Dov M. Gabbay and T. S. E. MaibaumOxfordClarendon1992- v.24 cm.001SUN00509572001 <<1: >>Backgroundmathematical structuresGBOxfordSUNL000020Gabbay, Dov M.SUNV040027Abramsky, SamsonSUNV040029Maibaum, Thomas S. E.SUNV040030ClarendonSUNV000098650Gabbay, D.Gabbay, Dov M.SUNV040028ITSOL20181109RICASUN0050956Handbook of logic in computer science1407078UNICAMPANIA