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.

Describe here what we do in which lecture.

test