Dag Prawitz
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.
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.