黄先开，曹先兵，简怀玉主编2006 年出版507 页ISBN：7300075355
本书以考试大纲中的要求为依据，分题型归类解析，并在各章配有精选习题。
李小五编著2005 年出版265 页ISBN：7306025880
本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...
杜志建主编2009 年出版170 页ISBN：9787811202151
本套书定位于高中新课标同步解辅导读物，例题选择典型，题型划分合理，对于通性通法的归纳总结详细到位，练习题突出梯度，答案详细。
