登录后参与讨论。
还没有评论。
H. D. Ebbinghaus, J. Flum, Wolfgang Thomas
数理逻辑
Mathematical Logic
Springer International Publishing AG
累计下载 74 次
数理逻辑
Mathematical Logic
- 出版社
- Springer International Publishing AG
- 出版年份
- 2021
- 更新时间
- 2026-10-28
- 版次
- 第 1 版
- ISBN
- 978-3-030-73838-9
- 数学分类
- 证明论与形式系统