80-411 Proof Theory

9 units, Carnegie Mellon University

An introduction to the general study of deductive systems and their properties. Topics include the natural deduction and sequent calculi cutelimination and normalization theorems metamathematical properties of firstorder logic and theories of arithmetic and conservation theorems.

Prerequisites: 21-300 or 80-311 or 80-310

Courseweave needs JavaScript to show sections, workloads and planning tools.