Syllabus for Basic Logic (.ps) (.pdf)
Syllabus for Mathematical Logic I (.ps) (.pdf)
Description of Mathematical Logic II
Syllabus for Mathematical Logic II (.ps) (.pdf)
Assignments for Basic Logic and Mathematical Logic I for fall 2011
Assignments for Mathematical Logic II for spring 2012
Basics of using ETPS on Andrew