The Collected Papers of Gerhard Gentzen (1969)

by M E Szabo, editor
Venue:Studies in Logic and the Foundations of Mathematics. North-Holland