Cook, Stephen <br/><br/>
Logical foundations of proof complexity 
Stephen Cook, Phuong Nguyen 
 - Ithaca, NY ; New York, NY  Association for Symbolic Logic ; Cambridge University Press  2010 
 - xv, 479 p. : ill. ; 25 cm., : alk. paper 
<br/><br/> Includes bibliographical references (p. 457-464) and index 
<br/><br/><label>ISBN: </label>9780521517294 
<br/><br/><label>ISSN: </label>2009051396 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computational complexity<br/>Logic, Symbolic and mathematical<br/>Proof theory
<br/><br/><label>Dewey Class. No.: </label>511.36 COO