Arithmetic, proof theory, and computational complexity / 
edited by Peter Clote and Jan Krajíček. 
 - Oxford [England] :  New York :  Clarendon Press ;  Oxford University Press,  c1993. 
 - xii, 428 p. :  ill. ;HB 
 - Oxford logic guides ; Oxford science publications .
<br/><br/><label>ISBN: </label>0198536909 (cloth) : 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory.<br/>Computational complexity.
<br/><br/><label>LC Class. No.: </label>QA9.54  / .A75 1993 
<br/><br/><label>Dewey Class. No.: </label>511.3