李丽霞,骆舒心主编2015 年出版123 页ISBN:9787564732882
本书对知识体系进行概括总结,重要内容给出巩固题型,有助于对各部分内容的理解掌握。对每部分的基本题型进行分类,且给出规范、详尽的解答,既有助于基本知识的掌握,又有助于适应考试题型。各部分给出练习题及其解...
黄先开,曹先兵,简怀玉主编2006 年出版507 页ISBN:7300075355
本书以考试大纲中的要求为依据,分题型归类解析,并在各章配有精选习题。
李小五编著2005 年出版265 页ISBN:7306025880
本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容;模态逻辑介绍句子层次上(命题型的)模态逻辑最基本的内容。...