Dag Prawitz
From Wikipedia, the free encyclopedia
Dag Prawitz (born 1936, Stockholm) is a Swedish philosopher and logician. He is best known for his work on proof theory and the foundations of natural deduction.
Prawitz is a member of the Norwegian Academy of Science and Letters,[1] of the Royal Swedish Academy of Letters and Antiquity and the Royal Swedish Academy of Science.
[edit] References
- ^ "Gruppe 3: Idéfag" (in Norwegian). Norwegian Academy of Science and Letters. http://www.dnva.no/c26849/artikkel/vis.html?tid=40104. Retrieved 16 January 2011.
[edit] External links
| This article about a Swedish scientist is a stub. You can help Wikipedia by expanding it. |
| This article about a European mathematician is a stub. You can help Wikipedia by expanding it. |