数理逻辑 【数理化】

本书是一部难度适中的本科生数学教材。主要讲述了什么是数学证明，这些证明怎么能够被验证以及电脑在多大程度上能够执行数学证明。读者对象：本书适用于数学、计算机科学、人工智能和决策学等各个领域的本科生...

言语理解与表达、逻辑判断专项突破 【政治法律】

本书为公务员考试和事业单位录用考试中有关言语理解与表达、逻辑判断部分的专项训练。

提高逻辑力的100人思维游戏 【文化科学教育体育】

本书收集了提高逻辑力的100个思维游戏，内容新颖，形式多样，适合年轻人阅读。

数理逻辑 【其他书籍】

本书为国家十五教材。该书分演绎及其证实，真理与悖论，意义与指称，存在、量化和本体论，休谟问题与归纳逻辑，共五个部分，对逻辑哲学进行了全面系统的概论，同时吸收了近几年国际逻辑哲学方面的最新进展，每一章后......

报刊逻辑与语言病例评析1100例 【语言文字】

本书为从全国报刊中征集的常用错句汇编。

我的哲学思考：方法与逻辑 【哲学宗教】

本熟悉何新先生关于哲学思考成果的大成。全书分四卷展开：方法与哲学；逻辑与哲学、宗教；哲学史论。

专题小课本高中数学 常用逻辑推理与证明 【文化科学教育体育】

增强推理力、逻辑力的智力游戏 【文化科学教育体育】

本书介绍提高逻辑推理能力的游戏题。

逻辑与计算机设计导论 【工业技术】

本书作为计算机科学、计算机工程及电子工程专业学生的入门书籍，针对初学者的特点，精选策划，准确定位，概念清晰、例题丰富。

可编程逻辑器件应用实践 【工业技术】

本书根据课堂教学和实验要求，以提高电子设计工程实践能力为目的，对目前各种PLD（可编程逻辑器件）及编程方法做了系统和完整的介绍。