General information on course organization.
To download click here.
Schedule of lectures, readings, and problem assignments.
To download click here.
Corrections to the textbook Boolos, Burgess, & Jeffrey, Computability & Logic, 5th edition.
To download click here.
Hints to odd-numbered problems.
To download click here.
Last modified 03 JAN 24.