| 名称 | 面向计算机科学的数理逻辑 | |
| 索引号 | 049156 | |
| 分类号 | (| 08 环境公报) |
|
| 作者 | ||
| 出版社 | 北京 : 北京大学出版社, 1989 | |
| ISBN | 7-301-00828-7 | |
| 页数 | 240页 ; 21cm | |
| 价格 | CNY3.30 | |
| 标签 | ||
| 简介 | ||
| 注解 | 本书介绍了与计算机科学密切相关的数理逻辑基础知识，包括命题逻辑，一 阶逻辑，构造性逻辑和模态逻辑等方面的内容・ | |
 |
|
|
搜索选项：
|
© Copyright 大拱桥--暨南大学学生门户 • Atom Feed • 粤ICP备17135490号
Last Updated On 20150305 By Carbon Forum (联系我)
Processed in 4.137 ms, 6 queries, Memory usage: 2048 KBytes
粤公网安备 44030602003680号