Mathematical Logic: Proof Theory, Constructive Mathematics

5 Nov - 11 Nov 2017
ID: 1745
Organizers
Samuel R. Buss, La Jolla
Rosalie Iemhoff, Utrecht
Ulrich Kohlenbach, Darmstadt
Michael Rathjen, Leeds
OWR Report
OWR_2017_53.pdf

Workshop Reports


Lookup workshop in oberwolfach photo collection