LC 2017: LOGIC COLLOQUIUM 2017
David Schrittesser
Organization: Universtity of Copenhagen
Web page: http://math.ku.dk/~david.s
Pages in this Program
Program
Program for Thursday, August 17th