01669nam2 2200337 i 450 SUN005095720160411123447.22201-985373-5-220060904d1992 |0engc50 baengGB|||| |||||ˆ1: ‰Backgroundmathematical structuresS. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editorsvolume co-ordinator Dov M. GabbayOxfordClarendon1992XII, 827 p.24 cm.001SUN00509562001 Handbook of logic in computer scienceedited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum1210 OxfordClarendon1992- 215 v.24 cm.Computer science [MSC 2010] 68-XXMFSUNC019670General logic [MSC 2010] 03BxxMFSUNC024425GBOxfordSUNL000020Gabbay, Dov M.SUNV040027Abramsky, SamsonSUNV040029Maibaum, Thomas S. E.SUNV040030ClarendonSUNV000098650Gabbay, D.Gabbay, Dov M.SUNV040028ITSOL20181109RICA/sebina/repository/catalogazione/documenti/Abramsky, Gabbay, Maibaum - Handbook of logic in computer science - vol. 1 - Background. mathematical structures.pdfContentsSUN0050957UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08 PREST 03-XX 0022 08 6679 I UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE01206679PREST 03-XX 0022 IpaBackground887077UNICAMPANIA