Per Martin-Löf
Academy member
Professor of Logic
Organisation
Stockholm University
Stockholm University
Member of
Class for humanities and for outstanding services to science