Natural deduction: A proof-theoretical study (0)

by D Prawitz
Venue:Almquist and Wiksell