收录 0 份译本 · 0 份讲义
原著 · 第 2 版
Mathematical Logic
H.-D. Ebbinghaus, J. Flum, W. Thomas
- 出版社
- Springer-Verlag
- 出版年份
- 1994
- ISBN
- 978-0-387-94258-2
- 数学分类
- 证明论与形式系统
关联讲义
暂无关联讲义。
本书涉及的术语
暂无关联到本书的术语。
收录 0 份译本 · 0 份讲义
原著 · 第 2 版
H.-D. Ebbinghaus, J. Flum, W. Thomas