MARC状态：审校 文献类型：中文图书 浏览次数：33
- 题名/责任者:
- 数理逻辑/(美)Herbert B.Enderton著 沈复兴，陈磊，孙运传译
- 版本说明:
- 2版
- 出版发行项:
- 北京:人民邮电出版社,2007
- ISBN及定价:
- 978-7-115-14311-2/CNY35.00
- 载体形态项:
- 240页;26cm
- 丛编项:
- 图灵计算机科学丛书
- 个人责任者:
- (美) Enderton Herbert B. 著
- 个人次要责任者:
- 沈复兴 译
- 个人次要责任者:
- 陈磊 译
- 个人次要责任者:
- 孙运传 译
- 学科主题:
- 数理逻辑-教材
- 中图法分类号:
- O141
- 版本附注:
- 本书据原书第2版译出 由Elsevier(Singapore)pte Ltd.授权出版
- 提要文摘附注:
- 书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| O141/23 | B00424962 | 2007 - |  自然科学图书借阅室
|
可借 | 还书处 |
| O141/23 | B00424963 | 2007 - | 自然科学图书借阅室
|
可借 | 还书处 |
显示全部馆藏信息