01225nam0-2200409li-450 99000025830020331620180918155410.088-386-0757-50025830USA010025830(ALEPH)000025830USA0100258302001998111997-------y0itay0103----baitaITLogica a informaticaAndrea Asperti, Agata CiabattoniMilanoMcGraw-Hillcopyr. 1997XXII, 230 p.ill.23 cmInformaticaLogica matematica511.3ASPERTI,Andrea53304Ciabattoni,AgataSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000258300203316511.3 ASP (A)20643/CBS511.300216117BKSCI1998112920001110USA01171520020403USA011634PATRY9020040406USA011618PATRY9020060127USA011526PATRY9020060127USA011526RSIAV69020090417USA011036Logica a informatica1426547UNISA