Guest speaker Axiomatization, Formalization and Completeness Michael Detlefsen 10 Oct 2011 → 20 Oct 2011 Guest lecturer 10 Oct 2011 → 20 Oct 2011 Proof, Creation and Freedom Michael Detlefsen 03 Jun 2009 → 24 Jun 2009 Guest lecturer 03 Jun 2009 → 24 Jun 2009
