Title: The collected papers of Gerhard Gentzen
Subjects: Collected works, Logic, Symbolic and mathematical, Meta-mathematics, Symbolic and mathematical Logic