推荐一本面向计算机专业的数理逻辑教材：
两位张老师的新书，《Logic in Computer Science》，不仅介绍了命题逻辑，一阶逻辑，霍尔逻辑，时序逻辑等计算机中常见的逻辑，还介绍了SAT和SMT等判定方法及其应用，全书包含丰富的例子。这本书可以说几乎是零基础起点的。

（ps 我记得这个之前牛津大学出版社也有一本同一书名的书，不过那本有副标题，侧重形式化方法系统建模。）

这本教材非常适合硬件验证，约束求解，软件测试与验证，自动推理等领域的人系统了解相关知识。