基础逻辑 - 暨南大学图书馆


名称	基础逻辑

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