The following research papers contain material that is complementary to the content of the course.

- Stephen G. Simpson, Theorems of Church and Trakhtenbrot, Material for Course "Math 557: Mathematical Logic" at Penn State University
- Alan M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, Series 2, 42 (1936-7), pp 230-265

Back to the course home page