01182nam a2200277 i 4500000000130851CaOOAMICUS20070123000000.0070123s1981 it u000 u ita u103688SeMilitaGentzen, Gerhard.(OLS)http://semarc/name/54095Teoria della dimostrazione /[scritti di] G. Gentzen ... [et al.] ; a cura di Donatella Cagnoni ; [trad. di Angelo Odone].Milano :Feltrinelli,1981.259 p. :ill. ;21 cm.SC/10. Readings ;22Logica - Filosofia.(OLS)http://semarc/subject/2012Logica matematica.(OLS)http://semarc/subject/3241Odone, Angelo.(OLS)http://semarc/name/54097Cagnoni, Donatella.(OLS)http://semarc/name/54096SC/10. Readings ;22.(OLS)http://semarc/title/13946SeMilSeMil1Venegono12P IV 6518487084870SeMilBibl2121157 1Omaggio: Altro245Teoria della dimostrazione(OLS)http://semarc/title/192629260Milano :Feltrinelli(OLS)http://semarc/publisher/3023700694nam a2200181 i 4500000000334685CaOOAMICUS20190820123006.0190705s1996 it u000 u ita u6517SeMilitaVol. 2.383 p., [8] p. di tav. :ill. ;22 cm.Carraro, MariapiaIstituto delle sante Bartolomea Capitanio e Vincenza Gerosa.Milano : Suore delle Carita delle sante B.Capitanio e V.Gerosa, 1987-1996.2()21602SeMilSeMil1Venegono13B IV 162/A215653228163SeMilBibl2228163 1245Vol. 2(OLS)http://semarc/title/13458