那本封面有国际象棋的是《logic in computer science》（剑桥大学出版），偏形式化方法路线，是本教材，学术味道比较浓，里面介绍了SAT算法（早期）和模型检测方法，我最早接触模型检测就是这本。里面难得的介绍了命题逻辑的完备性证明，是最简单的逻辑系统完备性证明，本科生可以看懂。//@Puzzler_红叶:我其实是在比刚才所说的更早的时候接触到数理逻辑的，不过一开始确实没有感觉到它比其他东西有趣多少。我记得08年左右我就看过一点原版封面上有国际象棋的《面向计算机科学的数理逻辑》，而且那个时候我很喜欢的《离散数学及其应用》里其实就有Smullyan出的谜题和他的传记。