Natural Deduction, a Proof-theoretical Study (1965)

by D Prawitz