数理逻辑引论
编者根据多年讲授该课的讲义整理而成《数理逻辑引论》，以此实现我们的初衷：一是希望能使学生在大学本科期间把数理逻辑的基本内容掌握好，使他们在学习其他相关课程或阅读相关文献资料时，不至于对其中的数理逻辑知识产生困难；二是希望通过对逻辑演算的讲解，即命题逻辑演算和一阶谓词逻辑演算的讲解，使学生感受到逻辑演算在计算机科学中的重要应用，更重要的是通过严格的形式化、公理化的逻辑推理方法，培养学生的抽象思维能力、逻辑推理能力和严密的分析问题与解决问题的能力。本书由李涛、张岩、刘峰主编。
¥12.60定价：¥16.00 (7.88折)
李涛 主编 /2011-11-01 /哈尔滨工业大学出版社
