Krajicek, Jan <br/><br/>
Bounded arithmetic, propositional logic, and complexity theo 

 - Cambridge  Cambridge Uni Pr  1995 
 - 343p;hbk 
 - Encyclopedia of mathematics and its applications .
<br/><br/><label>ISBN: </label>0-521-45205-8 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computitional complexity<br/>Proposition(Logic)<br/>Constructive mathematics<br/>Mathematics
<br/><br/><label>Dewey Class. No.: </label>511.3/KRA