Proof Theory

Carnegie Mellon University · UGRD · Fall 2026

1 section

Catalog description

An introduction to the general study of deductive systems and their properties. Topics include the natural deduction and sequent calculi; cut-elimination and normalization theorems; metamathematical properties of first-order logic and theories of arithmetic; and conservation theorems. Prerequisites: 80-311 or 80-310 or 21-300

Sections

Current meeting, instructor, credit, and enrollment details

Updated 4 hours ago

001

Availability not recently verified

Class #carnegie_mellon-80411Fall 2026UGRD9 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?