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