01548nam2 2200325 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.68-XXComputer science [MSC 2020]MFSUNC01967003BxxGeneral logic [MSC 2020]MFSUNC024425GBOxfordSUNL000020Gabbay, Dov M.SUNV040027Abramsky, SamsonSUNV040029Maibaum, Thomas S. E.SUNV040030ClarendonSUNV000098650Gabbay, D.Gabbay, Dov M.SUNV040028ITSOL20200720RICA/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 FISICA08PREST 03-XX 0022 08 6679 I 20060904 Background887077UNICAMPANIA