《逻辑基础（修订版）》在已有教材基础上修订而成，考虑到高校的教学实际，本次修订改动如下：删除了上一版教材介绍公理系统的一章；对词项逻辑、命题逻辑、谓词逻辑等三章，篇幅有所调整，删除了若干段落，更换了若干案例和相关的分析，部分调整了章节内部的顺序，使不同内容间的联系更加紧密、突出。同时，教材形态有所更新，各章配备了二维码，提供教学指导，以便高校师生使用。 《逻辑基础（修订版）》可供高校文科专业开设逻辑学课程使用，也可供有兴趣的爱好者阅读。

本书介绍数理逻辑的基础知识，包括逻辑演算的基本内容. 这些内容构成数理逻辑各个分支（模型论、证明论和构造性数学、递归论、集合论）的共同基础.

本書是數理邏輯的有名經典著作之一，內容包括四章： 第一章爲命題演算，介紹基本邏輯聯結詞及其各種性質，並就命題演算而給出一個公理體系，證明其不矛盾性，完備性及互相獨立性． 第二章爲類演算，兼討論如何從類演算而推出亞里士多德邏輯． 第三章爲狹義謂詞演算，對該演算作出公理體系，同樣討論其不矛盾性、完備性及獨立性，對判定問題作簡單而詳盡的介紹． 第四章爲廣義謂詞演算，詳細介紹邏輯悖論產生的狀況，因而須用類型論加以解決，最後並舉例詳細釋明類型（層次）演算在數學方面的應用．

本书面向数字逻辑设计的入门课程，这门课程是大多数电子和计算机工程专业的一门基础课程。一个成功的数字逻辑电路设计者首先必须深入了解其基本概念，并且能够牢固掌握基于计算机辅助设计（CAD）工具的现代设计方法。 本书的主要目的为：1）通过典型的数字电路手工设计方法教给学生基本概念；2）清晰地展示当今采用CAD工具设计数字电路的方法。虽然目前除了少数情况外已经不再采用手工方法进行设计，但我们仍想通过教授这些手工设计技术，使学生对如何设计数字电路有一个感性的认识；并且手工设计方法能对CAD工具实现的功能进行很好的解释，使学生体会到自动设计的优势。本书通过简单的电路设计案例引出其基本概念，这些案例都同时采用手工方法和现代CAD方法设计。在建立了基本概念后，提供了更多基于CAD工具的复杂例子。因此，本书的重点仍然放在现代设计方法上，以说明当今数字电路是如何设计的。...(展开全部)

《数字逻辑基础与Verilog设计》(原书第2版)系统介绍数字逻辑基本概念与实际应用。主要内容包括：逻辑电路、组合逻辑、算术运算电路、存储元件、同步时序电路（有限状态机）、异步时序电路、测试等。《数字逻辑基础与Verilog设计》(原书第2版)内容全面，概念清楚，结合了逻辑设计最新技术的发展。

本书面向数字逻辑设计的入门课程，这门课程是大多数电子和计算机工程专业的一门基础课程。一个成功的数字逻辑电路设计者首先必须深入了解其基本概念，并且能够牢固掌握基于计算机辅助设计（CAD）工具的现代设计方法。 本书的主要目的为：1）通过典型的数字电路手工设计方法教给学生基本概念；2）清晰地展示当今采用CAD工具设计数字电路的方法。虽然目前除了少数情况外已经不再采用手工方法进行设计，但我们仍想通过教授这些手工设计技术，使学生对如何设计数字电路有一个感性的认识；并且手工设计方法能对CAD工具实现的功能进行很好的解释，使学生体会到自动设计的优势。本书通过简单的电路设计案例引出其基本概念，这些案例都同时采用手工方法和现代CAD方法设计。在建立了基本概念后，提供了更多基于CAD工具的复杂例子。因此，本书的重点仍然放在现代设计方法上，以说明当今数字电路是如何设计的。...(展开全部)

《数字逻辑基础与Verilog设计》(原书第2版)系统介绍数字逻辑基本概念与实际应用。主要内容包括：逻辑电路、组合逻辑、算术运算电路、存储元件、同步时序电路（有限状态机）、异步时序电路、测试等。《数字逻辑基础与Verilog设计》(原书第2版)内容全面，概念清楚，结合了逻辑设计最新技术的发展。

本书是达米特的代表性著作，它最为系统地反映了作者哲学思想的全貌。全面阐述了意义，真与反实的论等问题。从弗雷格的意义理论出发，作者阐发了弗雷格的涵义和指称的概念，对弗雷格关于涵义与指称区别的论证做了进一步的辩护，批判了真值条件意义理论，提出了辩护主义的意义理论以及意义理论的显示原则、交流原则，试图把应用于数学领域的直觉主义逻辑方法推广到日常语言领域，解决实在论与反实在论的争论问题，以奠定其哲学理论的逻辑基础。本书涉及的哲学理论博大精深，其主要观点大胆而深刻，颇有争议而极具原创性，是学界公认的一部相当重要的著作，是20世纪哲学的真正高水准的成果之一。

这是一本论述自由人社会的政治组织的书。它的方法论、概念工具以及逻辑分析法，本质上渊源于把这样一种社会的经济组织作为其主题的学科。对于所考虑的各种核心问题，政治学方面的研究者和学者会与我们一样感兴趣，而他们的经济学同行则会与我们一起对此一论题的建构感兴趣。本书将坚定不移地沿着政治经济学的这两大支系之间的神话式的和神秘的边界线展开。本书分为概念框架、社会选择的王国、决策规则分析、民主的经济学与伦理学等组成。值得一阅。