Perspectives in logic
Cook, Stephen, 1948-
Perspectives in logic logical foundations of proof complexity / [electronic resource] : Stephen Cook, Phuong Nguyen. - Cambridge ; New York : Cambridge University Press, 2010. - xv, 479 p.
Includes bibliographical references and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2010.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Computational complexity.
Proof theory.
Logic, Symbolic and mathematical.
Electronic books.
QA267.7 / .C695 2010eb
511.3/6
Perspectives in logic logical foundations of proof complexity / [electronic resource] : Stephen Cook, Phuong Nguyen. - Cambridge ; New York : Cambridge University Press, 2010. - xv, 479 p.
Includes bibliographical references and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2010.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Computational complexity.
Proof theory.
Logic, Symbolic and mathematical.
Electronic books.
QA267.7 / .C695 2010eb
511.3/6