第一推動叢書︰第四輯：邏輯的引擎

作者馬丁‧戴維斯是計算機科學發展史上的先區人物，曾對希爾伯特第十問題有過深入的研究。《第一推動綜合系列︰邏輯的引擎》被譽從邏輯角度講述計算機發展的最好的通俗讀本。讀者將對西方文化的核心之一——邏輯或數學有更深的理解，並且造就一種敏銳的眼光和問題意識，認識到再復雜的東西其實也是由簡單的東西根據一定的規則組合而成的。在普遍崇拜技術外表而忽視其深層本質的今天，本書顯得尤為難得和重要。

本書講述了位于計算機背後的思想層面的歷史。它通過引人入勝的材料描寫了萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天才的生活和工作，講述了數學家們如何在成果付諸應用之前很久就已經提出了其背後的思想。