Per Martin-Löf

Stockholms universitet

Rolf Schockprisen - Logik och filosofi 2020

Motivering
”för skapandet av den konstruktiva typteorin”
Pressmeddelande Populärvetenskaplig information