Description
Various advanced topics in deductive logic such as proof theory and model theory, set theory, modal logic, metalogic, e.g. completeness, and computability.
Minimum Credits
3
Maximum Credits
3
Repeat for Credit
No
Required Requisite(s):
Prerequisite: Graduate standing required.
Semesters Typically Offered
Fall and Spring