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 (1936-7), pp 230-265
-
Sha Guo, Wei Sun, Mark Allen Weiss:
Solving Satisfiability and Implication Problems in Database
Systems,
ACM Trans. Database Syst. 21(2): 270-293 (1996)
Back to the course home page