01126nam0-22003971i-450-99000150133040332120090715121416.088-386-0757-5000150133FED01000150133(Aleph)000150133FED0100015013320030304d1997----km-y0itay50------baitaITa---a---001yyLogica a informaticaAndrea Asperti, Agata CiabattoniMilanoMcGraw-Hillc1997xxii, 230 p.ill.24 cmCollana di istruzione scientificaSerie di informaticaInformaticaLogica matematica00421Asperti,Andrea53304Ciabattoni,Agata67180ITUNINARICAUNIMARCBK990001501330403321004-ASP-1A2071SC1004-ASP-12070SC1004-ASP-1B2072SC1004-ASP-1D2074SC1004-ASP-1C2073SC1SC1Logica a informatica377179UNINA