The collected papers of Gerhard Gentzen