《数理逻辑基础一阶逻辑与一阶理论》PDF下载

购买积分：10 如何计算积分？
作　　者：陈慕泽，余俊伟著
出版社：北京：中国人民大学出版社
出版年份：2003
ISBN：7300049427
页数：244 页

图书介绍：本书介绍数理逻辑的基础部分。

点击购买此书全本PDF电子书

第一章命题逻辑 11

第二章谓词逻辑 58

第三章命题演算 111

第四章谓词演算 164

第五章一阶理论 203

参考文献 244