Krajicek, Jan <br/><br/>
Bounded Arithmetic, Propositional Logic, and Complexity Theory   
by Jan Krajicek 
 - Cambridge  Cambridge University Press  1995 
 - xiii,343p 
 - Encyclopedia of Mathematics and its Applications No.60 .
<br/><br/><label>ISBN: </label>9780521452052 
<br/><br/><label>Dewey Class. No.: </label>511.3  / N953