内容简介 · · · · · ·

这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书,书中强调了演译作为计算机的一种形的概念。虽然本书覆盖了所有传统的逻辑主题（语法,语义,完备性和紧致性）,但是书中大部分讨论的是其他主题,诸如消定理证明,逻辑式程序设计非经典逻辑（模态逻辑和直觉主义逻辑）,而这些主题在现代计算机科学中变得越来越理要。另外,本书还系统介绍了集合论基础知识,并对该主题提供了历史综述。