Investigations into Logical Deduction (1969)

by G Gentzen
Venue:TheCollected Papers of Gerhard Gentzen