Research and Teaching Papers
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 (19367), pp 230265

Sha Guo, Wei Sun, Mark Allen Weiss:
Solving Satisfiability and Implication Problems in Database
Systems,
ACM Trans. Database Syst. 21(2): 270293 (1996)
Back to the course home page