1 - The collected papers of Gerhard GentzenSzabo, M. E. (Ed.) / Gentzen, Gerhard (1909-1945)Cote : [02.5 SZA 69]