Logic List Mailing Archive

Book draft (Cook-Nguyen, "Logical Foundations of Proof Complexity") available for comments

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