MA
565
Topics in Foundations
4 cr.
(4-0-0)
- Graded: A/F
- Prerequisites: Graduate student in mathematics or instructor permission.
- Bulletin Year: 2022 - 2023 Graduate Bulletin
This is an advanced course in the foundations of mathematics. Depending on the instructor’s interest and expertise, this course will focus on one of three topics central to the foundations of mathematics: formal logic, type theory, or category theory.