00864nam a2200241 i 450099100340757970753620020503191534.0970304s|||| it ||| | ita 8815012567b10501137-39ule_instEXGIL120290ExLDip.to Filol. Ling. e Lett.itaLolli, Gabriele48877La macchina e le dimostrazioni :matematica, logica e informatica /Gabriele Lolli155 p. ; 21 cm :Informatica e linguaggioLogica.b1050113721-09-0627-06-02991003407579707536LE008 FL.M. (L.G.) H 2912008000407858le008-E0.00-l- 00000.i1057794427-06-02Macchina e le dimostrazioni79088UNISALENTOle00801-01-97ma -itait 31