"Applied Proof Theory: Proof Interpretations and their Use in Mathematics" von Ulrich Kohlenbach ist ein umfassendes Werk, das sich mit der Anwendung von Beweistheorien in der Mathematik beschäftigt. Das Buch untersucht, wie...