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