Mathematical Logic, Spring Semester 2016-17
                          Monday-Wednesday-Friday 2:30-3:25      in room 840 Old Chemistry Building
Professor:  John Schlipf
syallbus (.pdf)

Lecture Notes: Caveat: Lecture Notes are not thoroughly proofread, and errors noted in class may not be corrected later in the notes.

week 1 (.pdf)

week 2 (.pdf)

week 3 (.pdf)

week 4 (.pdf)

week 5 (.pdf)

week 7 (.pdf)

week 8 (.pdf)

week 9 (.pdf)

week 10 (.pdf)

week 11 (.pdf)

week 12 (.pdf)

week 13 (.pdf)

week 14 (.pdf)

Any questions or bug reports regarding the EECS Information servers should go to

Last modified: Moon's Day 20 February MMXVII, by JSS.