大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑(符号逻辑) » 数理逻辑引论
名称 数理逻辑引论
索引号 O141/20121
分类号 O141
O141(数理逻辑(符号逻辑))
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 李涛、张岩、刘峰、
出版社 哈尔滨 : 哈尔滨工业大学出版社, 2011
ISBN 978-7-5603-3411-0
页数 139页 ; 21cm
价格 CNY16.00
标签 数学、计算机科学、
简介
注解 高等学校“十二五”规划教材 有书目 本书主要内容包括：绪论、命题逻辑的基本概念、命题演算形式系统等。
书籍简介

哈尔滨工业大学计算机系数理逻辑教材。
关于逻辑演算的推理研究。