Natural deduction. A proof-theoretic study. Almquist and Wikksell (1965)

by D Prawitz