The collected papers of Gerhard Gentzen by Gentzen, Gerhard fromStudies in logic and the foundations of mathematics 0 Type: Book
