2020 - 2021 Graduate Bulletin


Course Description

MA 565 ​Topics in Foundations​ 4 cr. (4-0-0)

  • Graded: A/F
  • Prerequisite: Graduate student in mathematics or instructor permission.

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​.