Prerequisites: PHIL 124 with a grade of C- or better; or consent of instructor
Description: Advanced metatheory of first-order logic, leading to a discussion of some of the important incompleteness, undecidability, and non-expressability results of twentieth-century logic. Includes the writings of Godel, Church, and Turing.