01624nam2 2200337 i 450 VAN005095720231207021932.6901-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 cm001VAN00509562001 Handbook of logic in computer scienceedited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum210 OxfordClarendon1992- 215 v.24 cm.168-XXComputer science [MSC 2020]VANC019670MF03BxxGeneral logic [MSC 2020]VANC024425MFGBOxfordVANL000020AbramskySamsonVANV040029GabbayDov M.VANV040027MaibaumThomas S. E.VANV040030Clarendon <editore>VANV107988650Gabbay, D.Gabbay, Dov M.VANV040028ITSOL20231208RICA/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-CE0120VAN08VAN0050957BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0022 08 6679 I 20060904 Background887077UNICAMPANIA01125nam2 22002653i 450 VAN008195820231206104600.27220110215d1966 |0itac50 baitaIT|||| |||||ˆ1: ‰AntichitàPaolo BrezziNapoliLibreria scientifica editrice1966370 p.23 cm001VAN00819562001 Studi di storia cristiana ed ecclesiasticaPaolo Brezzi210 NapoliLibreria scientifica editrice215 volumi22 cm.1NapoliVANL000005BrezziPaolo1910-1998VANV067942318494Libreria scientificaVANV108602650ITSOL20231208RICA/sebina/repository/catalogazione/documenti/81958.pdf81958.pdfBIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALIIT-CE0103VAN07VAN0081958BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI07CONS Fa 274-I 07DP 3553 20110215 Antichità1434897UNICAMPANIA