王维华，曲兆瑞编著2003 年出版217 页ISBN：7560724566
本书系统地介绍了数字系统逻辑设计的基本概念和理论，着重介绍了数字系统分析和设计的基本方法。主要内容有数制和编码，逻辑代数基础知识，组合逻辑电路和时序逻辑电路的分析方法和设计方法。...
（美）威廉姆·沃克·阿特金森著；李奇译2013 年出版192 页ISBN：9787510438882
本书是作者在遵循古希腊哲学先贤的理论基础上，面向普通的大众编写的常识普及本。书中的语言朴素，文字平实有序，没有出现高深晦涩之词语、句子。虽是常识，却不寡陋，是广大学子们、有兴趣于逻辑的大众的理想读本。...
（美）卡尔纳普著2012 年出版352 页ISBN：9787544628716
作者卡尔纳普哲学思想的发展，一般说来，有语义、句法、语用三个阶段。在句法这个阶段，他强调把哲学变成科学语言的元语言——即句法。旨在把科学研究的内容与科学的语言形式分别开来。他认为，内容或对象属于具体...
（美）詹姆斯·M.布坎南（James M.Buchanan），（美）戈登·塔洛克（Gordon Tullock）著；陈光金译2000 年出版384 页ISBN：7500428456
何向东，刘邦凡著2002 年出版381 页ISBN：7220058969
本书共10章，主要内容有：逻辑、知识与教育，传统逻辑基础知识，逻辑与课堂教学论，数学教学的逻辑方法论，语言教学逻辑方法论，现代逻辑基础知识，数学命题逻辑系统，教学谓词逻辑及其他等。...
（美）欧文·M. 柯匹（Irving M. Copi），（美）卡尔·科恩（Carl Cohen）著；张建军，潘天群等译2007 年出版756 页ISBN：730007930X
本书是当今逻辑教科书的标准范本。
（德）艾宾浩斯著2008 年出版289 页ISBN：7506292270
本书是一部难度适中的本科生数学教材。主要讲述了什么是数学证明，这些证明怎么能够被验证以及电脑在多大程度上能够执行数学证明。读者对象：本书适用于数学、计算机科学、人工智能和决策学等各个领域的本科生...
李顺万著2007 年出版294 页ISBN：9787536689671
本书主要介绍了如何在侦查中运用侦查学与逻辑学的方法，通过对罪案的研究与分析，达到还原犯罪现场，寻找犯罪真相的目的。
