Dag Prawitz

Stockholms universitet

Rolf Schock Prize - Logic and philosophy 2020

Citation
“for proof-theoretical normalization in natural deduction”
Press release