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: 1745
Organisers
Samuel R. Buss, La Jolla
Rosalie Iemhoff, Utrecht
Ulrich Kohlenbach, Darmstadt
Michael Rathjen, Leeds
Date: 5 Nov - 11 Nov 2017

Organisers: Login for more information

Participants: Login for more information

Lookup workshop in oberwolfach photo collection