Logic and Computation
80-310/610
Handouts

The main text for the course is: Logic and Structure, Dirk van Dalen, Springer 1997.
Most of the lecture material is covered in the text.
Occasional handouts covering additional material will be distributed in class and listed here for your reference.