Mancosu et al <br/><br/>
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs 

 -  OUPOxford University Press  2021 
<br/><br/><label>ISBN: </label>9780191938795 
<br/><br/><label>Source: </label>EBOOK