Skip to content. | Skip to navigation

Sections

Personal tools

You are here: Home / Scientific Program / 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