Mathematical Logic: Proof Theory, Constructive Mathematics

8 Nov - 14 Nov 2020
ID: 2046
Organizers
Samuel R. Buss, La Jolla
Rosalie Iemhoff, Utrecht
Ulrich Kohlenbach, Darmstadt
Michael Rathjen, Leeds
Public Abstract
Public-Abstract-2046.pdf

Lookup workshop in oberwolfach photo collection