Course Detail
Units:
--
Course Components:
Laboratory
Lecture
Enrollment Information
Enrollment Requirement:
Prerequisite: Graduate standing required.
Description
Metatheory of modern logic. Includes model theory and proof theory. Proofs of consistency and completeness of first-order logic, undecidability of first-order logic, and incompleteness of formal arithmetic. Also may include applications of logic.