面向计算机科学的数理逻辑


名称	面向计算机科学的数理逻辑

索引号	049156
分类号	(\| 08 环境公报)
作者
出版社	北京 : 北京大学出版社, 1989
ISBN	7-301-00828-7
页数	240页 ; 21cm
价格	CNY3.30
标签
简介
注解	本书介绍了与计算机科学密切相关的数理逻辑基础知识，包括命题逻辑，一阶逻辑，构造性逻辑和模态逻辑等方面的内容・