Dag Prawitz

Stockholms universitet

Rolf Schock Prize - Logic and Philosophy 2020

Citation

“for proof-theoretical normalization in natural deduction”

Press release