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