Natural Deduction. A Proof-Theoretical Study. Almquist and Wiksell (1965)

by D Prawitz