Intervention(s) comme Conférencier invité Axiomatization, Formalization and Completeness Michael Detlefsen 10 Oct 2011 → 20 Oct 2011 Conférencier invité 10 Oct 2011 → 20 Oct 2011 Proof, Creation and Freedom Michael Detlefsen 03 Jun 2009 → 24 Jun 2009 Conférencier invité 03 Jun 2009 → 24 Jun 2009