Logical Foundations of Proof Complexity 
Cook, Stephen, 
 - 1 online resource (496 pages) :  digital, PDF file(s). 
<br/><br/> Title from publisher's bibliographic system (viewed on 01 Sep 2015). 
<br/><br/><label>ISBN: </label>9780521517294 (hardback)