Miscellaneous old courses

• Modal Logic (UB 2011)
• History of Logic (UU 2007)
• Computational Logic (ILLC 2007)
• Recursion Theory (ILLC 2006)
• Voortgezette Logica Voltijd (UU 2006 )
• Voortgezette Logica Deeltijd (UU 2006 )
• Logic and Symbolic Robotics (AI at the ILLC, University of Amsterdam) 2005
• Logica voor Filosofen 2004-2005 (WB1BD4052)
• Avondcursus Logica voor Filosofen 2004-2005 (WB1BA4052)
• Bewijsbaarheidslogica 2004-2005
• Mentorgroep LAS 2004-2005
• Opfriscursus wiskunde (voor CKI, 2004-2005)
• Logica 1 voor filosofen (WB1BD3033). (2003-2004)
• The logic of Provability and Interpretability. (2002-2003)
• Wiskunde voor Neurale Netwerken. (2002-2003)
• Mathematische logica en haar geschiedenis. (2002-2003)
• The Logic of Provability (Logische Tecnieken) (2001-2002)
• Logica 2 voor Filosofie (2001-2002)
• Arithmetics Reflection principles and more like that
  A course by Lev Beklemishev.
• Logische Technieken (2000-2001)
• Gödel's Theorem and Recursive Functions.
  A course by Saul Kripke.
• Complexity theory (2000-2001)
• Filosofie van de Logica (2000-2001)
• Typentheorie (2000-2001)
• Logisch intsrumentarium voor kennisrepresentatie (`99-`00)
• Logische technieken (1999-2000)