Title: The collected papers of Gerhard Gentzen
First published: 1969
Subjects: Collected works, Logic, Symbolic and mathematical, Metamathematics, Symbolic and mathematical Logic
LC classification: QA9 .G329