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.
  • next lecture
  • previous lecture
    • [ C&D Home | Schedule | Code | Assignments | Notes | Projects | Elf ]
    © Frank Pfenning 1992-1997
    fp@cs