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:
主要作者: | Kohlenbach, U. |
---|---|
格式: | 圖書 |
語言: | English |
出版: |
Springer
2017
|
主題: | |
在線閱讀: | http://repository.vnu.edu.vn/handle/VNU_123/24927 http://dx.doi.org/1007/978-3-540-77533-1 |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
機構: | Vietnam National University, Hanoi |
語言: | English |
相似書籍
-
Proof theory : the first step into impredicativity
由: Pohlers, Wolfram
出版: (2017) -
Theorem Proving in Higher Order Logics
由: Hutchison, David
出版: (2017) -
Về phổ của toán tử tuyến tính
由: Đỗ, Văn Hưng
出版: (2016) -
Completeness theory for propositional logics
由: Pogorzelski, Witold ; Wojtylak, Piotr
出版: (2017) -
Đa thức Trêbưsep và xấp xỉ Trêbưse
由: Phạm, Minh Đạo
出版: (2015)