Investigations into logical deduction (1969)

by G Gentzen
Venue:in Gentzen (1969a), Chap