MARC状态:审校 文献类型:中文图书 浏览次数:107
- 题名/责任者:
- 可计算性与数理逻辑/(美)George S.Boolos,(美)John P.Burgess,(美)Richard C.Jeffrey著 何自强等译
- 出版发行项:
- 北京:电子工业出版社,2005.07
- ISBN及定价:
- 7-121-00779-7/CNY32.00
- 载体形态项:
- 288页;26cm
- 并列正题名:
- Computability and Logic
- 丛编项:
- 国外计算机科学教材系列
- 个人责任者:
- 博洛斯, G.S. (Boolos, George S.)
- 个人责任者:
- 伯吉斯, J.P. (Burgess, John P.)
- 个人责任者:
- 杰弗里, R.C. (Jeffrey, Richard C.)
- 个人次要责任者:
- 何自强
- 学科主题:
- 可计算性-教材
- 学科主题:
- 数理逻辑-教材
- 中图法分类号:
- O141
- 相关题名附注:
- 并列题名取自于封面
- 书目附注:
- 有书目
- 提要文摘附注:
- 本书是一本经典的数理逻辑教科书,包括可计算性理论、基础元逻辑、高级专题三部分,共27章。
全部MARC细节信息>>