Clote Peter <br/><br/>
Arithmetic, proof theory , and computational complexity 
Clote Peter; Krajicek Jan 
 -  1993 
<br/><br/><label>Standard No.: </label>5715 
<br/><br/><label>Source: </label> Textual 
<br/><br/><label>Dewey Class. No.: </label>B1, N3