Applied proof theory: Proof interpretations and their use in mathematics - Kohlenbach,Ulrich (Springer monographs in mathematics., 2008)