[FOM] Book Draft

Stephen Cook sacook at cs.toronto.edu
Wed Sep 3 10:18:07 EDT 2008

Phuong Nguyen and I now have an almost-complete draft of our book,
now titled "Logical Foundations of Proof Complexity", available
to be published by the ASL (revitalized) Perspectives in Logic series.

Comments and corrections are welcome.

Stephen Cook
Phuong Nguyen

More information about the FOM mailing list