应用逻辑
Anil Nerode Richard A.Shore
评分 8.4分
“本书无疑是计算机科学最富成效的入门教科书之一……我们强烈建议把它作为教科书……” ——美国计算机协会自动机与可计算性理论专业组 (SIGACT) 这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书。书中主要介绍了消解定理证明、逻辑式程序设计和非经典逻辑（模态逻辑和直觉主义逻辑），所用的方法与数理逻辑的经典著作有很大不同，更加适合研究计算机理论的读者，可以帮助他们更好地理解计算机理论中的
