The Collected Papers of Gerhard (1969)

by G Gentzen