Dag Prawitz
From Wikipedia, the free encyclopedia
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.
[edit] Main Books
- Natural Deduction. A Proof-Theoretic Study, 1965.
- ABC i Symbolisk Logik, 1991.
[edit] External links
 |
This article about a mathematician is a stub. You can help Wikipedia by expanding it. |
