Meeting Details 1447 - Mathematical Logic: Proof theory, Constructive

Mathematics (original) (raw)

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

16 Nov - 22 Nov 2014

ID: 1447

Organizers

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