Krajicek, Jan  <br/><br/>
Bounded arithmetic, propositional logic and complexity theory, Vol. 60 

 - Cambridge:  Cambridge University Press,  1995. 
 - xiii; 343 p.  hb;  24 cm. 
 - Encyclopedia of mathematics and its applications .
<br/><br/><label>ISBN: </label>9780521452052 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Constructive Mathematics<br/>Proposition<br/>Logic<br/>Computational Complexity<br/>Mathematical Logic
<br/><br/><label>Dewey Class. No.: </label>511.3 KRA