大拱桥--暨南大学学生门户 » 图书馆 » 命题演算-谓词演算-类演算-演算 » 基础逻辑
名称 基础逻辑
索引号 O141.1/20031
分类号 O141.1
O141.1(命题演算-谓词演算-类演算-演算)
O141(数理逻辑(符号逻辑))
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 孙明湘、谭希培、
出版社 长沙 : 中南大学出版社, 2002
ISBN 7-81061-541-6
页数 233页 ; 21cm
价格 CNY12.80
标签 dd、
简介
注解 有书目 (第233页) 本书包括：命题逻辑的基础理论、命题逻辑的形式系统、谓词逻辑的基础理论、谓词逻辑的形式系统等内容・