Phuong Nguyen and I now have an almost-complete draft of our book,
now titled "Logical Foundations of Proof Complexity", available
at
http://www.cs.toronto.edu/~sacook/homepage/book/
to be published by the ASL (revitalized) Perspectives in Logic series.
Comments and corrections are welcome.
Stephen Cook
Phuong Nguyen