Lecture 1
This is introductory lecture to sav07.
Here are the slides for Lecture 1.
A good background reading for this course are some parts of Gallier Logic Book although we will review some of them.
Over of the material
Describe here what we do in which lecture.