ダグ・プラウィッツ
Dag Prawitz (1965). Natural Deduction: A Proof-Theoretical Study. Dover Publication