Unpublished lecture notes:
Samuel R. Buss (instructor).
"Weak Formal Systems and Connections To Computational
Complexity."
Lecture Notes for a Topics Course,
University of Califorina, Berkeley, January-May 1988.
Download lecture notes: Searchable PDF or PDF.
Abstract Lecture notes written by Fred Teti, Maria Luisa Bonet, John Grosh, Martin Goldstern, Chrystopher Nehaniv, Eric Hughes, Stephen Carrier, Juan Bagaria, Jim Gloor, Alessandro Berarducci -- based on lectures by Sam Buss. Topics include propositional proof complexity, computational complexity, first-order logic, and bounded arithmetic. See the PDF files for a detailed table of contents.