Course Detail
Units:
3.0
Course Components:
Lecture
Enrollment Information
Enrollment Requirement:
Recommended Prerequisite: PHIL 3200, 3210.
Description
Meets with PHIL 6220. Various topics in set theory, consistency of formal systems, incompleteness results, model theory, recursion theory, category theory. For juniors and seniors.