Media type: Book Title: Applied proof theory : proof interpretations and their use in mathematics Contributor: Kohlenbach, Ulrich Wilhelm [Author]; Kohlenbach, Ulrich [Other] Published: Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Springer monographs in mathematics Extent: XIX, 532 S.; graph. Darst Language: English ISBN: 9783540775324 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Beweistheorie Transformation > Mathematische Logik Origination: Footnote: Literaturverz. S. [507] - 523