Download PDF by Ulrich Kohlenbach: Applied Proof Theory: Proof Interpretations and their Use in

This ebook offers an creation to a couple relevant ends up in transcendental quantity conception with software to sessions and distinct values of modular and hypergeometric services. it's also similar effects on Calabi–Yau manifolds. many of the fabric is predicated at the author's personal study and looks for the 1st time in booklet shape.