LC 2017: LOGIC COLLOQUIUM 2017
Per Martin-Löf
Organization: Stockholm University
Pages in this Program
Program
Program for Monday, August 14th