Krajicek, Jan <br/><br/>
Bounded arithmetic, propositional logic, and complex theory 

 - New York:  Cambrigde University Press,  1995 
 - xiv,341p.:  ill.;  24cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>0-521-45205-8 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Constructive mathematics<br/>Propositon (logic)<br/>Competational complexity
<br/><br/><label>LC Class. No.: </label>MATH QA9.56.K73