收录 0 份译本 · 0 份讲义
原著 · 第 2 版
A Mathematical Introduction to Logic
Herbert B. Enderton
- 出版社
- Academic Press
- 出版年份
- 2001
- ISBN
- 978-0-12-238452-3
- 数学分类
- 证明论与形式系统
关联讲义
暂无关联讲义。
本书涉及的术语
暂无关联到本书的术语。
收录 0 份译本 · 0 份讲义
原著 · 第 2 版
Herbert B. Enderton