The Collected Papers of Gerhard Gentzen. North-Holland Publ (1969)

by G Gentzen