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: 2046
Organizers
Samuel R. Buss, La Jolla
Rosalie Iemhoff, Utrecht
Ulrich Kohlenbach, Darmstadt
Michael Rathjen, Leeds
Date: 8 Nov - 14 Nov 2020

Organizers: Login for more information

Participants: Login for more information

Lookup workshop in oberwolfach photo collection