The Collected Papers of Gentzen (1969)

by G Gentzen