01628nam2 2200337 i 450 VAN0005095720240806100454.82301-985373-5-220060904d1992 |0itac50 baengGB|||| |||||ˆ1: ‰Backgroundmathematical structuresS. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editorsvolume co-ordinator Dov M. GabbayOxfordClarendon1992XII, 827 p.24 cm001VAN000509562001 Handbook of logic in computer scienceedited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum210 OxfordClarendon1992- 215 v.24 cm.103BxxGeneral logic [MSC 2020]VANC024425MF68-XXComputer science [MSC 2020]VANC019670MFGBOxfordVANL000020AbramskySamsonVANV040029GabbayDov M.VANV040027MaibaumThomas S. E.VANV040030Clarendon <editore>VANV107988650Gabbay, D.Gabbay, Dov M.VANV040028ITSOL20240906RICA/sebina/repository/catalogazione/documenti/Abramsky, Gabbay, Maibaum - Handbook of logic in computer science - vol. 1 - Background. mathematical structures.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00050957BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0022 08 6679 I 20060904 Background887077UNICAMPANIA