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.

Back to Sam Buss's publications page.