Course Detail
Units:
3.0
Course Components:
Lecture
Enrollment Information
Enrollment Requirement:
Prerequisites: PHIL 3200 OR PHIL 3210.
Description
Various advanced topics in deductive logic such as proof theory and model theory, set theory, modal logic, metalogic, e.g. completeness, and computability. For juniors and seniors.