1969] The Collected Papers of Gerhard Gentzen (0)

by G Gentzen