Lecture notes will appear as the course proceeds.
Lecture notes from previous runs of this course: Summer 2009, Summer 2008, Summer 2007.
Biographies of important logicians are available at www-history.mcs.st-andrews.ac.uk.
