Applied Proof Theory by Ulrich Kohlenbach