Clote <br/><br/>
Arithmetic, Proof Theory, and Computational Complexity 

 -  Oxford University PressOxford University Press  2023 
<br/><br/><label>ISBN: </label>9781383025989 
<br/><br/><label>Source: </label>EBOOK