Course Detail
Units:
3.0
Course Components:
Lecture
Enrollment Information
Enrollment Requirement:
Prerequisite: PHIL 5200 or instructor's consent.
Description
Various topics in set theory, consistency of formal systems, incompleteness results, model theory, recursion theory, category theory. For juniors and seniors.