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

本书讲述了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。

第一推动丛书·综合系列:逻辑的引擎（新版）（一本适合数学系或计算机系读者的书，让你在乏味的学习之余体会到思想乐趣） EPUB, PDF, MOBI, AZW3, TXT, FB2, DjVu, Kindle电子书免费下载。

马丁·戴维斯（Martin Davis），计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一，他是纽约大学库朗数学科学研究所的荣誉教授，之后在加州大学伯克利分校做访问学者。译者介绍：张卜天，1979年9月生，师从吴国盛。热爱哲学和科学史方面的翻译，研究方向为西方中世纪和近代早期科学思想史，研究领域主要集中在近代科学的起源和科学革命。

本书被誉为从逻辑角度讲述计算机发展的很好通俗读本之一。读完该书你将对西方文化的核心逻辑有更深的理解，有助于形成一种敏锐的眼光和问题意识，可认识到复杂的东西是如何由简单的东西根据一定的规则组合而成。2018年新版的《第一推动丛书》全新设计了版式和封面，简约个性，提升了阅读体验，让科普给你更多想象。随书附赠价值39.6元由汪洁、吴京平掰开揉碎,带你懂科学好书的《经典科普解读课》6折券。