法理逻辑基础

本书涉及逻辑学和法学两个领域，既阐述了逻辑学的基本理论，又突出了法律思维的基本特点，适合法律专业在校学生及法律工作者使用。

逻辑设计基础 原书第5版

本书详细阐述了理解逻辑设计基本概念所必需的理论，适合作为高等院校电子工程、计算机科学及相关专业的本科生和研究生的教材。

数字逻辑基础

本书系统地介绍了数字逻辑的基本原理与设计方法。全书共7章，主要内容包括：逻辑代数基础、逻辑门与组合逻辑分析、组合逻辑设计、触发器与时序逻辑分析、时序逻辑设计、可编程逻辑器件及开发、信号产生与变换...

程序设计基础 逻辑编程及C++实现实训教程

本书是普通高等教育“十五”国家级规划教材《程序设计基础——逻辑编程及C++实现》的配套实训指导用书。它紧扣主教材各章所要求掌握的技能，组织每一章的有效实训方案，方案包括：【实训名称】、【实训目标】、...

现代逻辑学讲义 模态逻辑

本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...

形式逻辑学

实用逻辑学

逻辑学导论

本书为教材，论述了逻辑学的基本原理。

简明逻辑学

本书为高校逻辑课教材，较为系统全面地讲述逻辑学的相关知识。

安全逻辑学

本书论述了观察、实验、比较、分类、分析、综合、概念、归纳推理、类比推理等。