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