Syllabus
Class Notes: Incompleteness and Undecidability
ANNOUNCEMENTS:
HOMEWORK:
HW 1 due Monday, 1/28
HW 2 due Friday, 2/8
HW 3 due Monday, 2/18
HW 4 due Friday, March 7