Exams and Grade
Lecture Notes (2008-07-14)
Lecture notes from previous runs of this course: Summer 2007, Summer 2006, Summer 2005, Summer 2004.
Biographies of important logicians are available at www-history.mcs.st-andrews.ac.uk.
The course assumes familarity with basic functional programming in the programming language Standard ML. Some useful links: