Mathematical Logic: Proof theory, Constructive Mathematics

16 Nov - 22 Nov 2014
ID: 1447
Organizers
Samuel R. Buss, La Jolla
Ulrich Kohlenbach, Darmstadt
Michael Rathjen, Leeds
OWR Report
OWR_2014_52.pdf

Workshop Reports


Lookup workshop in oberwolfach photo collection