Krajíček, Jan, <br/><br/>
Proof complexity / 
Jan Krajíček 
 - xiv, 516 páginas 
 - Encyclopedia of mathematics and its applications ;  170 .
<br/><br/><label>ISBN: </label>9781108416849 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Teoría de la demostración<br/>Complejidad computacional
<br/><br/><label>LC Class. No.: </label>QA9.54  / K72 
<br/><br/><label>Dewey Class. No.: </label>511.3/6