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/30237