Skip to content. | Skip to navigation

Sections
You are here: Home Scientific Programme Annual Schedules Mathematical Logic: Proof Theory, Constructive Mathematics
Title
Mathematical Logic: Proof Theory, Constructive Mathematics
Workshop ID: 1145
Organisers
Samuel R. Buss, La Jolla
Ulrich Kohlenbach, Darmstadt
Michael Rathjen, Leeds
Date: 6 Nov - 12 Nov 2011
Report
OWR_2011_52.pdf

Lookup workshop in oberwolfach photo collection