書作者馬丁·戴維斯――計(jì)算機(jī)科學(xué)發(fā)展史上的先驅(qū)人物――以萊布尼茲之夢(mèng)為線芍锚，以生花之妙筆擂啥，為我們奉獻(xiàn)上從邏輯角度講述計(jì)算機(jī)發(fā)展史的最好的通...