Applied Proof Theory: Proof Interpretations and their Use in Mathematics
96,29 €
inkl. 7% MwSt. und
ggf. zzgl. Versand
<P>This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. It covers both the necessary logical machinery behind the proof interpretations that are used in recent applications as well as – via extended case studies – carrying out some of these applications in full detail. This subject has historical roots in the 1950s. This book for the first time tells the whole story.</P>
![Applied Proof Theory: Proof Interpretations and their Use in Mathematics Applied Proof Theory: Proof Interpretations and their Use in Mathematics](https://cos.richshop.de/servlet/images/9783540775331.jpg?w=300)
- Autor: Ulrich Kohlenbach
- Seitenzahl: 536
- Format: PDF
- DRM: social-drm (ohne Kopierschutz)
- Erscheinungsdatum: 23.05.2008
- Herausgeber: SPRINGER