15-851
Computation & Deduction 		Spring 1997
Frank Pfenning

Assignment 6

Due: Tuesday, March 11

This assignment (Exercises 7.11 and 7.12) explores natural deduction. It is currently available only in DVI, PostScript, or PDF formats.
  • next assignment
  • previous assignment
    • [ C&D Home | Schedule | Code | Assignments | Notes | Projects | Elf ]
    © Frank Pfenning 1992-1997
    fp@cs