Foundations & Logic

Find a place to begin

Choose a course guide for reading choices and worked checks, or follow a longer route.

Course guides

• Proofs & Mathematical Writing
• Mathematical Logic & Computability
• Set Theory
• Model Theory

Longer routes

• Toward logic, set theory and model theory
• Toward categories and higher structures

Search all related material: Foundations & Logic