The Collected papers of Gerhard Gentzen - Gentzen, Gerhard 1909- (North Holland, 1969)