15-399 Constructive Logic
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 I do not correct incremental handouts on-line.
In the latter part of the course, we will be using the textbook
by Huth & Ryan listed below. Copies of the relevant sections
will be handed out in class and be available from the class assistant
Maury Burgwin in Wean Hall 8124.
Logic in Computer Science
Modelling and Reasoning about Systems
Michael Huth and Mark Ryan,
Cambridge University Press, 2000.