中国近代逻辑思想史论

本书追索30年代我国学术界展开的有关形式逻辑与辩证法相互关系的论战，内容有严复、梁启超、王国维、章太炎、胡适、章士钊等人。

数字计算机的错误检测逻辑 上

逻辑学教程

本书详细介绍了有关逻辑学的基本知识、概念、简单命题及其推理、复合命题及其推理、模态命题及其推理、归纳推理、类比推理和假说、逻辑思维的基本规律、论证与反驳、论说文的逻辑分析等内容。...

哲学逻辑研究

本书主要内容为一阶逻辑、模态逻辑、时态逻辑、条件句逻辑、弗协逻辑和哥德尔不完全性定理。本书具有较高的学术价值，在理论或实践上有重要意义，对推动学科建设与发展有重要作用。...

中国药品安全治理变革 历史、逻辑和未来

藏传因明思维逻辑形式研究

本书从理性角度，对藏传因明思维逻辑形式进行了比较通俗的研究和比较，从而使原本艰涩的藏传因明哲学变得清晰和易读。

列宁 黑格尔“逻辑学”一书摘要

流体逻辑控制与工业自动化

逻辑程序设计语言及其实现技术

逻辑教室 袁大头的推理游戏时间