Teoria della dimostrazione - Gentzen, Gerhard. (OLS)http://semarc/name/54095; Odone, Angelo. (OLS)http://semarc/name/54097; Cagnoni, Donatella. (OLS)http://semarc/name/54096 (Feltrinelli,, 1981)
Keywords: Logica - Filosofia. (OLS)http://semarc/subject/2012; Logica matematica. (OLS)http://semarc/subject/3241