Applied proof theory : proof interpretations and their use in mathematics
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others). This applied approach is based on logical transformations (so-called proof interpret...
Saved in:
| 主要作者: | |
|---|---|
| 格式: | 圖書 |
| 語言: | English |
| 出版: |
Springer
2017
|
| 主題: | |
| 在線閱讀: | http://repository.vnu.edu.vn/handle/VNU_123/24927 http://dx.doi.org/1007/978-3-540-77533-1 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|