Natural Deduction. Almquist (1965)

by Dag Prawitz