Krajicek, Jan, <br/><br/>
Bounded arithmetic, propositional logic, and complexity theory / 
Jan Krajicek 
 - páginas 
<br/><br/><label>ISBN: </label>0521452058 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Matemáticas constructivas<br/>Proposición (Lógica)<br/>Complejidad computacional
<br/><br/><label>LC Class. No.: </label>QA9.56  / K73