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