15-317 Constructive Logic
Handout and notes for individual lectures can be found on the
schedule or with the summary for each lecture.
The handout Constructive Logic
contains a complete set of notes as of the indicated date.
This includes all incremental handouts with possible corrections and updates.
Note that incremental handouts are not corrected on-line.
The complete set of notes from Fall 2000 may be of some limited
use, because notation, coverage, and other details may be different
for this instance of the course.