数理逻辑是思维科学的一个分支，也是数学的一个分支。本书包括：命题逻辑、谓词逻辑、命题演算、谓词演算四章内容。

陈慕泽：中国人民大学哲学系、宗教学系教授，博士生导师，逻辑教研室主任。教育部逻辑学基地、中山大学逻辑与认知研究所兼职研究员，中国逻辑学会常务理事。主要讲授《逻辑学》、《数理逻辑》、《数理逻辑史》、《模态逻辑》、《专业外语》等本科和研究生课程。主要著作有《数理逻辑教程》、《现代逻辑方法论》、《逻辑学》等。