The collected papers of Gerhard Gentzen - Gentzen, Gerhard 1909-1945 (North-Holland Publishing Company, 1969)