李小五编著2005 年出版265 页ISBN：7306025880
本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...
盛建伦编著2013 年出版164 页ISBN：9787302317227
本书中各章习题以及补充题的解答。部分习题给出若干种不同方法的解答。给出典型习题的解题思路。
彭漪涟著2006 年出版502 页ISBN：7532621588
本书精选作者有代表性的论文50余篇，较集中体现了作者逻辑学方面的学术观点和思想，对逻辑科学的教学和科研有重要参考价值。
郭泽深著2006 年出版247 页ISBN：7500458835
弗雷格是现代逻辑和语言哲学的创始人。本书扣住弗雷格的逻辑主义来研究逻辑哲学思想。
