Meeting Details 1145 - Mathematical Logic: Proof Theory, Constructive

Mathematics (original) (raw)

Mathematical Logic: Proof Theory, Constructive Mathematics Workshop Details https://www.mfo.de/@@site-logo/mfo.png

6 Nov - 12 Nov 2011

ID: 1145

Organizers

Samuel R. Buss, La Jolla Ulrich Kohlenbach, Darmstadt Michael Rathjen, Leeds