第一推动丛书·综合系列:逻辑的引擎(CS大牛关于计算机科学思想发展简史的最佳科普，CS学生必读）

【美】马丁·戴维斯