Cook, Stephen,  1948-, <br/><br/>
Logical foundations of proof complexity / 
Stephen Cook, Phuong Nguyen 
 - 492 páginas 
 - Perspectives in logic .
<br/><br/><label>ISBN: </label>9780521517294 (papel alcalino) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Complejidad computacional<br/>Teoría de la demostración<br/>Lógica simbólica y matemática
<br/><br/><label>LC Class. No.: </label>QA267.7  / C69 
<br/><br/><label>Dewey Class. No.: </label>511.3/6