消解相关图书会按更新时间、出版时间和评分持续整理，适合从主题维度系统浏览。
应用逻辑
尼罗德
评分 7.7分
这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演译作为计算机的一种形的概念。虽然本书覆盖了所有传统的逻辑主题（语法，语义，完备性和紧致性），但是书中大部分讨论的是其他主题，诸如消定理证明，逻辑式程序设计非经典逻辑（模态逻辑和直觉主义逻辑），而这些主题在现代计算机科学中变得越来越理要。另外，本书还系统介绍了集合论基础知识，并对该主题提供了历史综述。
Anil Nerode Richard A.Shore
评分 8.4分
“本书无疑是计算机科学最富成效的入门教科书之一……我们强烈建议把它作为教科书……” ——美国计算机协会自动机与可计算性理论专业组 (SIGACT) 这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书。书中主要介绍了消解定理证明、逻辑式程序设计和非经典逻辑（模态逻辑和直觉主义逻辑），所用的方法与数理逻辑的经典著作有很大不同，更加适合研究计算机理论的读者，可以帮助他们更好地理解计算机理论中的
