Investigations into logical deduction (1934)

by G Gentzen