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: 1447
Organisers
Samuel R. Buss, La Jolla
Ulrich Kohlenbach, Darmstadt
Michael Rathjen, Leeds
Date: 16 Nov - 22 Nov 2014
Report
OWR_2014_52.pdf

Organisers: Login for more information

Participants: Login for more information

Lookup workshop in oberwolfach photo collection