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