第一推动丛书·综合系列:逻辑的引擎（新版）（一本适合数学系或计算机系读者的书，让你在乏味的学习之余体会到思想乐趣）

马丁·戴维斯