Title: The collected papers of Gerhard Gentzen
Subjects: Metamathematics, Symbolic and mathematical Logic