Natural deduction, a proof-theoretical study (1965)

by D Prawitz
Venue:Almquist & Wiksell