孔红编著2016 年出版141 页ISBN：9787562068624
本书从“基本概念、基本原理、基础知识”出发，总结、归纳、整理概念、原理之下的相关知识点，为在校生期末考试、研究生入学考试、国家司法考试提供知识体系保障。主要内容包括：逻辑概述、演绎推理、归纳推理、...
王红，赵绍成，刘佳编著2012 年出版273 页ISBN：9787564319175
本书为普通高校逻辑学教材，主要对逻辑学的基本概念，逻辑思维基本规律等进行介绍，并在每章后附有思考题，对学生学习和掌握各知识点有较大帮助。可作为相关院校学生逻辑学教材及教学参考书使用。...
缪淮扣，陈怡海编著2012 年出版299 页ISBN：9787302292777
本书详细介绍了软件形成化方法与软件规格说明语言—Z的相关知识和设计方法，适合作为高校软件工程学科的教材使用。
杨永胜主编2014 年出版422 页ISBN：9787544270076
本书主要内容分为文字游戏、数字游戏、图形游戏等，书中使各种题型灵活的交叉在一起。这样子既避免了做游戏时总是使用一种方法的枯燥无味，又能让我们真正感觉到逻辑思维游戏的乐趣，从而提升自己的逻辑思维能力...
张学立主编2009 年出版453 页ISBN：9787500484714
本书是逻辑学文集，包括形式逻辑、哲学逻辑、逻辑哲学、逻辑史、比较逻辑、辩证逻辑、应用逻辑、逻辑教学等栏目。共53篇文章。
张忠义等编著2004 年出版314 页ISBN：753884127X
本书以传统逻辑学内容为主，融合了现代逻辑的部分内容，系统的介绍了形式逻辑的基本知识和基础理论。
