The Collected Papers of Gerhard Gentzen (1969)

by G Gentzen