15-399 Constructive Logic
Lecture 1: Introduction
In this first lecture we give an overview over the topics covered
in this class and the approach we take to the subject. The material
is summarized in the reading.
We also discuss various administrative issues, such as examination
schedule, homework, and grading policy.