Mathematical Logic: Proof Theory, Constructive Mathematics

6 Nov - 12 Nov 2011
ID: 1145
Organizers
Samuel R. Buss, La Jolla
Ulrich Kohlenbach, Darmstadt
Michael Rathjen, Leeds

Workshop Reports


Lookup workshop in oberwolfach photo collection