逻辑的引擎

引言
第一章莱布尼茨之梦
第二章布尔把逻辑变成代数
第三章弗雷格：从突破到绝望
第四章康托尔：在无限中摸索
第五章希尔伯特的营救
第六章哥德尔使计划落空
第七章图灵构想通用计算机
第八章研制第一批通用计算机
第九章超越莱布尼茨之梦
尾声
注释
参考书目
索引
译后记