Investigations into logical deduction, in "The collected papers of Gerhard Gentzen (1969)

by G Gentzen
Venue:M.E. Szabo (Ed