Course Detail
Units:
--
Course Components:
Laboratory
Lecture
Enrollment Information
Enrollment Requirement:
Prerequisite: PHIL 2200 or instructor's consent.
Requirement Designation:

Description
Metatheory of modern logic. Includes model theory and proof theory. Proofs of consistency and completeness for first-order logic, undecidability of logic, and incompleteness of formal arithmetic. May include applications of logic. For juniors and seniors.