You are about to access our book library "Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics) full version" .