Applied Proof Theory: Proof Interpretations and their Use in Mathematics - Ulrich Kohlenbach - E-bok | Bokus