Course by Henk Barendregt (odd weeks) and Jaap van Oosten (even weeks)
February-June 2010
For general information, see Course information.
Lecturenotes by Jaap van Oosten
Extra slides by Henk Barendregt
Week1 Reflection
Week1 Overview Incompleteness Theorem
Week3 provability
Week5 computability
Week7 Peano arithmetic
Week9 Representable functions
Week11 The second incompleteness theorem
Week13 Do it yourself
Huygens Lecture by Henk Barendregt
Reflection: a powerful ubiquitous logical phenomenon
August 31-November 2, 2009.
Mondays (lectures) 17:30-19:30, HG 307;
Wednesdays (practicum) 15:45-17:30, HG 303.

Survey: slides (in Dutch)
Lecture notes lambda calculus, by Henk Barendregt and Erik Barendsen (1998/2000)
Turing Machines for students cognitive neuroscience

Minicourse Lambda Calculus and term rewriting systems
by H.P. Barendregt and J.W. Klop 16.02.2009-20.02.2009 (slides of lambda calculus part)

Han Fortmann Lectures: The Mind on the Brain and the Brain on the Mind
by Henk Barendregt and Karin Videc (January-March 2009)