3
0
0
0
0
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics [electronic resource]
- 作者: Kohlenbach, Ulrich.
- 其他作者:
- 出版: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg
- 叢書名: Springer Monographs in Mathematics,
- 主題: Logic, Symbolic and mathematical , Mathematics--Philosophy , Proof theory. , Categories (Philosophy) , Mathematics , Approximations and Expansions. , Functional analysis , Mathematical Logic and Foundations. , Mathematics, general. , Operator theory
- ISBN: 9783540775331 (electronic bk.) 、 9783540775324 (paper)
- FIND@SFXID: CGU
- 資料類型: 電子書
-
讀者標籤:
- 系統號: 005020025 | 機讀編目格式