Natural Deduction, Almquist and Wiksell (1965)

by D Prawitz