Per Martin-Löf

Stockholms universitet

Rolf Schockprisen - Logik och filosofi 2020

Motivering

”för skapandet av den konstruktiva typteorin”

Pressmeddelande Populärvetenskaplig information