Humboldt Kolleg Proof Theory as Mathesis Universalis

---

JULY 24-28 2017 
Villa Vigoni (Loveno di Menaggio, Como, Italy)

Sponsors

This workshop was organised with the generous support of the Alexander von Humboldt Foundation (AvH), the Altonaer Stiftung für philosophische Grundlagenforschung (ASFPG) the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG), the Division of Logic, Methodology and Philosophy of Science and Technology​ (DLMPST) and the German Society for Analytic Philosophy (GAP).