Period
06 Apr - 12 Apr 2008
Mathematics Subject Classification (MSC)
03
Report
Workshop Report 2008,18
Organizers
Samuel R. Buss, San Diego; Ulrich Kohlenbach, Darmstadt; Helmut Schwichtenberg, München
EMS Reference
Buss Samuel, Kohlenbach Ulrich, Schwichtenberg Helmut: Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach Rep. 5 (2008), 907-952. doi: 10.4171/OWR/2008/18
Oberwolfach Photo Collection
Open Workshop Photos
Report (426.4Kb)
Open Preview