Math 267A - Topics in Logic - Proof Complexity
Instructor: Sam Buss
Winter 2002, Univ. of California, San Diego

Online Scribe Notes.  Whole course available except one lecture.

Professor: Sam Buss.   Email:   Phone: 534-6455.  Office: APM 6210.

MW  3:25-4:40 APM 7314.  (Please do not disturb the previous class until they finish.)

Office hours: (Math 160A has priority, email for separate appointments if desired.)
        Hours: Monday 12:00-12:50, Wednesday 1:00-1:50, Friday 9:00-9:50.


Reading materials: Follow the links to download (some of) the papers.