Lev Beklemishev's tutorial. Lecture 2. Part 1.

Workshop on Computational, Descriptive and Proof Complexity, and Algorithms Independent University of Moscow, Russia, August 29–31, 2007 Workshop on Computational, Descriptive and Proof Complexity, and Algorithms Independent University of Moscow, Russia, August 29–31, 2007