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