Exams and Grade
Lecture Notes (2007-07-19)
Lecture notes from previous runs of this course: 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: