返回首页 联系帮助
陈慕泽 余俊伟著
购买点数
10 点
出版社
北京:中国人民大学出版社
出版时间
2003
ISBN
7300049427
标注页数
244 页
PDF页数
253 页
标签
逻辑 数理逻辑 理论 基础
查看更多关于=$ecms_gr[title]?>的内容
第一章 命题逻辑 11
第二章 谓词逻辑 58
第三章 命题演算 111
第四章 谓词演算 164
第五章 一阶理论 203
参考文献 244