内容简介
本书介绍数理逻辑的基础部分。绪论除介绍逻辑初步概念外还讲述了有关集合论和递归论的初步知识。正文前四章的内容属一阶逻辑，其中前两章是以非形式化的方式介绍命题逻辑和谓词逻辑，后两章分别给出了一个经典命题逻辑演算系统P和一个经典谓词逻辑演算系统Q，讨论了它们的元性质，最后还给出了一个与Q等价的形式系统QS。最后一章介绍了有关一阶理论的知识，主要是模型论的基础内容及不可判定问题。各章节后一般都附有适量的习题。本书适合作为高等院校文科、理工科所开设的与现代逻辑相关课程的教材或参考书。
作者简介
陈慕泽：中国人民大学哲学系、宗教学系教授，博士生导师，逻辑教研室主任。教育部逻辑学基地、中山大学逻辑与认知研究所兼职研究员，中国逻辑学会常务理事。主要讲授《逻辑学》、《数理逻辑》、《数理逻辑史》、《模态逻辑》、《专业外语》等本科和研究生课程。主要著作有《数理逻辑教程》、《现代逻辑方法论》、《逻辑学》等。
数理逻辑基础是2003年由人民大学出版,作者陈慕泽。
得书感谢您对《数理逻辑基础》关注和支持，如本书内容有不良信息或侵权等情形的，请联系本网站。
