Mathematical Logic: Proof Theory, Constructive Mathematics Workshop Details https://www.mfo.de/@@site-logo/mfo.png Mathematical Logic: Proof Theory, Constructive Mathematics 5 Nov - 11 Nov 2017 ID: 1745 Organizers Samuel R. Buss, La Jolla Rosalie Iemhoff, Utrecht Ulrich Kohlenbach, Darmstadt Michael Rathjen, Leeds Workshop Reports Workshop Report 53/2017