數理邏輯教程

數理邏輯是思維科學的一個分支，也是數學的一個分支。本書包括：命題邏輯、謂詞邏輯、命題演算、謂詞演算四章內容。

陳慕澤：中國人民大學哲學系、宗教學系教授，博士生導師，邏輯教研室主任。教育部邏輯學基地、中山大學邏輯與認知研究所兼職研究員，中國邏輯學會常務理事。主要講授《邏輯學》、《數理邏輯》、《數理邏輯史》、《模態邏輯》、《專業外語》等本科和研究生課程。主要著作有《數理邏輯教程》、《現代邏輯方法論》、《邏輯學》等。

^[1]