逻辑的引擎 ∕ (美)马丁·戴维斯(Martin Davis)著；张卜天译 湖南科学技术出版社 2018 索书号：TP302/1　　位置：第XX中学(2册) 本书剖析了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述数学家们如何在成果付诸应用之前就已经提出了其背后的思想。 附注信息： 通过中国台湾博达著作权代理有限公司获得版权。 本书限中国大陆发行......