Natural Deduction: a Proof-Theoretical Study. Number 3 (1965)

by D Prawitz
Venue:in Stockholm Studies in Philosophy. Almquist and Wiskell