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

by Dag Prawitz