TY  - BOOK
AU  - Cook, Stephen
AU  - Nguyen, Phuong
TI  - Logical foundations of proof complexity
SN  - 9780521517294
SN  - 200905139
U1  - 511.36 COO 
PY  - 2010///
CY  - Ithaca, NY ; New York, NY
PB  - Association for Symbolic Logic ; Cambridge University Press
KW  - Computational complexity
KW  - Logic, Symbolic and mathematical
KW  - Proof theory
N1  - Includes bibliographical references (p. 457-464) and index
ER  -