01374nam2 22003373i 450 MIL013896020240503062414.0019853761120080430d1992 ||||0itac50 baenggbz01i xxxe z01n˜Vol. 2: œBackgroundcomputational structuresvolume co-ordinator Dov M. GabbayOxfordClarendon press1992X, 571 p.24 cm.001MIL01389422001 Handbook of logic in computer scienceedited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum2InformaticaFIRNAPC000625ILogica simbolicaFIRNAPC147266ILogica matematicaFIRNAPC000388I004ELABORAZIONE DEI DATI - SCIENZA DEGLI ELABORATORI - INFORMATICA14004ELABORAZIONE DEI DATI, SCIENZA DEGLI ELABORATORI, INFORMATICA22Gabbay, Dov M.UFIV060549Gabbay, DovUFIV060551Gabbay, Dov M.ITIT-NA007920080430IT-BN0095 MIL0138960Biblioteca Centralizzata di Ateneov. 1-2v. 1-2 01SALA DING 004 HANOLI 0102 0000013755 B A4(0002 v. 23 2008043020080430 01Background887077UNISANNIO