The 1995-1996 DIMACS Special Year on Logic and Algorithms began with three week-long tutorial sessions on the topics of the special year:
These notes on the lectures given by Neil Immerman
were compiled by Eric Allender from the notes supplied
by A. Arratia, Sandeep K. Shukla, J. Avigad, and
D. Sivakumar.
Paper Available at:
ftp://dimacs.rutgers.edu/pub/dimacs/TechnicalReports/TechReports/1997/97-55.ps.gz
DIMACS Home Page