15-851
Computation & Deduction
Spring 1997
Frank Pfenning
Lecture 18: Sequent Calculus and Natural Deduction
We complete the presentation of the sequent calculus and then prove
various theorems explaining its relationship to natural deduction.
©
Frank Pfenning 1992-1997
fp@cs