80-711 Proof Theory

12 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: none listed

CMU Courses needs JavaScript to show sections, schedules and planning tools.