MARC状态：审校 文献类型：中文图书 浏览次数：11
- 题名/责任者:
- 面向计算机科学的数理逻辑/陆钟万著
- 版本说明:
- 2版
- 出版发行项:
- 北京:科学出版社,2002
- ISBN及定价:
- 978-7-03-009657-9/CNY29.00
- 载体形态项:
- 13,263页;21cm
- 丛编项:
- 中国科学院研究生教学丛书
- 个人责任者:
- 陆钟万 著
- 学科主题:
- 数理逻辑-高等教育-教材
- 中图法分类号:
- O141
- 一般附注:
- 普通高等教育“九五”国家级重点教材
- 提要文摘附注:
- 本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。
全部MARC细节信息>>
奉化馆密集库(可借)