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