Proof Theory

9 units · Undergraduate

Intermittent: 9 units 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-310 or 21-300 or 80-311