Investigations into logical deductions. (1969)

by Gerhard Gentzen
Venue:The Collected Papers of Gerhard Gentzen,