Syllabus for Basic Logic
Syllabus for Mathematical Logic I
Assignments for Basic Logic and Mathematical Logic I for fall 2007
Syllabus for Mathematical Logic II
Assignments for Mathematical Logic II for spring 2008
Using ETPS on Andrew (postscript version), (PDF version)