01464nam0 22003253i 450 NAP039031220251003044248.0887005778X20071121d1994 ||||0itac50 baitaitz01i xxxe z01nInformatica teoricaCarlo Ghezzi, Dino MandrioliMilanoCittàStudi1994527 p.ill.24 cm4 p. errata corrige ; 30 cm ripieg. a 15 cmBibliografia: P. 515-527.Elaboratori elettroniciLinguaggiFIRCFIC016394I005.13LINGUAGGI DI PROGRAMMAZIONE14005.131Linguaggi di programmazione. Logica simbolica (Logica matematica)22Ghezzi, CarloCFIV0630650708004Mandrioli, Dino <1949- >CFIV0631770708757ITIT-00000020071121IT-BN0095 NAP 01SALA DING $NAP0390312Biblioteca Centralizzata di Ateneo1 v. (2. copia)1 v. in due copie 01SALA DING 005.13 GHE.in 0102 0000029155 VMA A4 1 v. (4. rist. 1998)Y 20071121200711211 v. (2. copia)1 v. in due copie 01SALA DING 005.13 GHE.in 0102 0000029165 VMA A4(bis 1 v. (4. rist. 1998;2. copia)A 2007112120071121 01Informatica teorica104085UNISANNIO