Dag Prawitz

Stockholms universitet

Rolf Schock Prize - Logic and Philosophy 2020

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