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).