Krajíˆcek, Jan <br/><br/>
Bounded arithmetic, propositional logic, and complexity theory / 
Jan Krajicek 
 - Cambridge [England] ;  New York, NY, USA :  Cambridge University Press,  1995 
 - xiv, 343 p. ;  24 cm. 
 - Encyclopedia of mathematics and its applications .
 - Encyclopedia of mathematics and its applications .
<br/><br/>Includes bibliographical references (p. 327-334) and indexes 
<br/><br/><label>ISBN: </label>9780521452052 0521452058 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Constructive mathematics<br/>Proposition (Logic)<br/>Computational complexity