CSC 2429 course notes: Proof Complexity and Bounded Arithmetic. 2002. Available from the web at www.cs.toronto.edu/~sacook/csc2429h (0)

by S Cook