Natural deduction", Almquist (1965)

by D Prawitz