Natural Deduction. A Proof-Theoretical Study, volume 3 (1965)

by Dag Prawitz
Venue:of Stockholm Studies in Philosophy. Almqvist & Wiksell