15-399 Constructive Logic
Lecture 27: Review

We review the material from the last section of the course and its connections to the first two sections of the course. The upcoming final will be cumulative (covering the whole semester) with an emphasis on the material from the last section.

[ Home | Schedule | Assignments | Handouts | Software | Overview ]

Frank Pfenning