书作者马丁·戴维斯――计算机科学发展史上的先驱人物――以莱布尼兹之梦为线，以生花之妙笔，为我们奉献上从逻辑角度讲述计算机发展史的最好的通...