Course Detail
Units:
3.0
Course Components:
Lecture
Enrollment Information
Enrollment Requirement:
Prerequisites: PHIL 3200 OR PHIL 3210.
Requirement Designation:
Quan Reason (Stat/Logic) & Quant Intensive BS
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.