The Collected papers of Gerhard Gentzen - Gentzen, Gerhard 1909- (Studies in logic and the foundations of mathematics, 1969)