Dag Prawitz (born 1936) is a Swedish philosopher and logician. He is best known for his work on proof theory and the foundations of natural deduction.
Main Books
- Natural Deduction. A Proof-Theoretic Study, 1965.
- ABC i Symbolisk Logik, 1991.
External links
|
