LC 2017: LOGIC COLLOQUIUM 2017
Ulrich Kohlenbach
Organization: Technische Universität Darmstadt
Web page: kohlenbach@mathematik.tu-darmstadt.de/~kohlenbach
Pages in this Program
Program
Program for Wednesday, August 16th