MARC状态：已编 文献类型：中文图书 浏览次数：79
- 题名/责任者:
- 可计算性与数理逻辑/(美) George S. Boolos, John P. Burgess, Richard C. Jeffrey著 何自强等译
- 出版发行项:
- 北京:电子工业出版社,2005
- ISBN及定价:
- 7-121-00779-7/CNY32.00
- 载体形态项:
- 12, 288页:图;26cm
- 并列正题名:
- Computability and logic
- 丛编项:
- 国外计算机科学教材系列
- 个人责任者:
- 布勒斯, G. S. (Boolos, George S.) 著
- 个人责任者:
- 伯吉斯, J. P. (Burgess, John P.) 著
- 个人责任者:
- 杰弗里, R. C. (Jeffrey, Richard C.) 著
- 个人次要责任者:
- 何自强 译
- 学科主题:
- 可计算性-教材
- 学科主题:
- 数理逻辑-教材
- 中图法分类号:
- O141
- 出版发行附注:
- 由Cambridge University Press授权电子工业出版社出版发行, 据Cambridge University Press, 2002年英文版第4版译.
- 责任者附注:
- 责任者 (Burgess) 规范汉译姓: 伯吉斯; 责任者 (Jeffrey) 规范汉译姓: 杰弗里.
- 书目附注:
- 有书目
全部MARC细节信息>>
密集书库三