Stephen Cook-Phuong Nguyen <br/><br/>
Logical Foundations of Proof Complexity 

 -  Cambridge University Press  2010 
 - Perspectives in Logic .
<br/><br/><label>ISBN: </label>9780521517294 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Logic<br/>Computational complexity.,Logic, Symbolic and mathematical.,Proof theory.<br/>MATHEMATICS