Past courses (Utrecht University):

• Logica voor AI (given together with Jan Broersen)
• Logical Complexity
• Mathematics for Neural Networks
• Mathematics for Artificial Intelligence
• Proof theory of arithmetic (supported by Joost Joosten)