Name Dag Prawitz | Books Natural deduction | |
![]() | ||
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, of the Royal Swedish Academy of Letters and Antiquity and the Royal Swedish Academy of Science.
References
Dag Prawitz Wikipedia(Text) CC BY-SA