MATH 681: Logic (spring 2008)

Instructor: Justin Moore

Meeting Time & Room

This course will give a graduate level introduction to logic. It will cover predicate logic, the completeness theorem, the compactness theorem, basic computability theory, the halting problem, the incompleteness theorem, the Lowenheim-Skolem theorem, and basic set theory. There are no prerequisites beyond an appropriate level of mathematical maturity.

Text: Mathematical logic by H. D. Ebbinghaus, J. Flum, and W. Thomas.