MARC状态:审校 文献类型:中文图书 浏览次数:22
- 题名/责任者:
- Computability and logic:英文版/(美)布勒斯, 伯吉斯, 杰弗里著
- 出版发行项:
- 北京:电子工业出版社,2003
- ISBN及定价:
- 7-5053-8828-2/CNY38.00
- 载体形态项:
- 356页;24cm
- 并列正题名:
- 可计算性与数理逻辑
- 其它题名:
- 英文版
- 丛编项:
- 国外计算机科学教材系列
- 个人责任者:
- 布勒斯, G. S. (Boolos, George S.) 著
- 个人责任者:
- 伯吉斯, J. P. (Burgess, John P.) 著
- 个人责任者:
- 杰弗里, R. C. (Jeffrey, Richard C.) 著
- 学科主题:
- 可计算性-理论-英文-教材
- 学科主题:
- 数理逻辑-英文-教材
- 中图法分类号:
- O141
- 版本附注:
- 据原书第4版译出
- 出版发行附注:
- 由英国剑桥大学出版社授权
- 书目附注:
- 有书目和索引
- 提要文摘附注:
- 全书论述了可计算性理论、基础元逻辑及一些高级专题。不仅包括了中等深度的逻辑教程讨论的基本专题,如哥德尔不完全性定理等,而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题,因而已成为一本经典的教科书。
全部MARC细节信息>>