Mathematical Logic

Course Description

Formal systems, proof theory, and the foundations of mathematics.