Logical foundations of proof complexity /
Cook, Stephen,1948-
Nguyen, Phuong,1977-
Ithaca, N.Y. : Association for Symbolic Logic ; Cambridge : Cambridge University Press,
2010.
Includes bibliographical references and index.
Computational complexity.
Proof theory.
Logic, Symbolic and mathematical.