MARC状态：审校 文献类型：中文图书 浏览次数：32
- 题名/责任者:
- 应用逻辑/(美) Anil Nerode, Richard A. Shore著 丁德成 ... [等] 译
- 出版发行项:
- 北京:机械工业出版社,2007
- ISBN及定价:
- 978-7-111-21404-5/CNY38.00
- 载体形态项:
- XIII, 284页:图;26cm
- 统一题名:
- Logic for applications
- 丛编项:
- 计算机科学丛书
- 个人责任者:
- 尼罗德 (Nerode, Anil), 1932- 著
- 个人责任者:
- 肖尔 (Shore, Richard A.), 1946- 著
- 个人次要责任者:
- 丁德成 译
- 个人次要责任者:
- 徐亚涛 译
- 个人次要责任者:
- 吴永成 译
- 学科主题:
- 数理逻辑-高等学校-教材
- 中图法分类号:
- O141
- 题名责任附注:
- 第二责任者还有：徐亚涛、吴永成、金陈园。
- 版本附注:
- 根据原书第2版译出
- 出版发行附注:
- 本书中文简体字版由Springer授权机械工业出版社独家出版
- 责任者附注:
- 责任者Nerode汉译姓为：尼罗德; 责任者Shore规范汉译姓为：肖尔
- 书目附注:
- 有书目 (第267-284页)
- 提要文摘附注:
- 本书是介绍数理逻辑的基础教材。
全部MARC细节信息>>