《逻辑的引擎》([美]马丁·戴维斯著,张卜天译,湖南科学技术出版社2005年5月版) [内容简介]：毋庸讳言,通用计算机是现代工艺——社会中的工程极品,但它却是人类智慧的高度结晶——不断推进的逻辑金字塔上的物化明珠。如果说,这是人类文明的话剧,那么计算机制造者在前台表演,逻辑学家们则是幕后筹划。本书把幕 “Logic Engine” ([US] Martin Davies, Zhang Bu Tianyi, Hunan Science and Technology Press, 2005 May Edition) [Content]: Needless to say, the general computer is a modern technology - , But it is a high degree of crystallization of human wisdom - the materialized pearl on the pyramid of logic that keeps pushing forward. If this is a drama of human civilization then computer makers perform in the foreground and logicians behind the scenes. Book curtain