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
]
fp@cs
Frank Pfenning
|