01834nam1 22004453i 450 MIL013894220251003044225.020080430g1992 ||||0itac50 baenggbz01i xxxe z01nHandbook of logic in computer scienceedited by S. Abramsky, Dov M. Gabbay and T. S. E. MaibaumOxfordClarendon1992- v.24 cm.001MIL01389572001 ˆVol. 1: ‰Backgroundmathematical structuresvolume co-ordinator Dov M. Gabbay1001MIL01389602001 ˆVol. 2: ‰Backgroundcomputational structuresvolume co-ordinator Dov M. Gabbay2InformaticaFIRCFIC002969ELogica simbolicaFIRSBLC002225ILogica matematicaFIRCFIC000378E004ELABORAZIONE DEI DATI. SCIENZA DEGLI ELABORATORI. INFORMATICA14004Informatica22Scienza degli elaboratoriLogica simbolicaLogica matematica <Logica simbolica>InformaticaScienza degli elaboratoriLogica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>Abramsky, Samson <1953- >MILV089192Gabbay, Dov M.UFIV060549Maibaum, Thomas S. E. <1947- >UFIV071623Gabbay, DovUFIV060551Gabbay, Dov M.ITIT-00000020080430IT-BN0095 NAP 01SALA DING $MIL0138942Biblioteca Centralizzata di Ateneov. 1-2v. 1-2 01SALA DING 004 HANOLI2 01Handbook of logic in computer science1407078UNISANNIO