MARC状态：已编 文献类型：中文图书 浏览次数：101
- 题名/责任者:
- 应用逻辑/(美) Anil Nerode, Richard A. Shore著 丁德成 ... [等] 译
- 出版发行项:
- 北京:机械工业出版社,2007
- ISBN及定价:
- 978-7-111-21404-5/CNY38.00
- 载体形态项:
- 284页:图;26cm
- 统一题名:
- Logic for applications
- 丛编项:
- 计算机科学丛书
- 个人责任者:
- 尼罗德 (Nerode, Anil) 著
- 个人责任者:
- 肖尔 (Shore, Richard A.) 著
- 个人次要责任者:
- 丁德成 译
- 个人次要责任者:
- 徐亚涛 译
- 个人次要责任者:
- 吴永成 译
- 学科主题:
- 数理逻辑-教材
- 中图法分类号:
- O141
- 题名责任附注:
- 题名页题: 丁德成, 徐亚涛, 吴永成, 金陈园译.
- 版本附注:
- 据原书第2版译出
- 出版发行附注:
- 本书中文简体字版由Springer授权机械工业出版社独家出版
- 书目附注:
- 有书目 (第267-284页)
- 提要文摘附注:
- 本书是介绍数理逻辑的基础教材，不仅覆盖了传统的基本内容，而且很大一部分是讨论非传统的内容，诸如消解定理证明、逻辑式程序设计和非经典逻辑。
全部MARC细节信息>>
密集书库一
密一78B10