Introduction for Bounded Arithmetic.
Part I: First- and Second-Order Theories.
Part II: Translations to Propositional Logic.
Part III: Provable Total NP Search Problems.
Workshop on Proof Complexity.
Special Semester on Complexity.
St. Petersburg State University, May 15, 2016
Download talk slides: PDF.
Back to Sam Buss's publications page.