Luo Ji De Yin Qing =: Engines Of Logic Engines Of Logic 逻辑的引擎 =: Engines Of Logic

Mading Daiweisi Zhu ; Zhang Butian Yi. Includes Bibliographical References (p. 264-273) And Index. 马丁・戴维斯著 ; 张卜天译. Ben shu jiang shu de shi wei yu ji suan ji bei hou de si xiang ceng mian de li shi. ta tong guo yin ren ru sheng de cai liao miao xie le yi xie ke xue jia de sheng huo he gong zuo, jiang shu le shu xue jia men ru he zai cheng guo fu zhu ying yong zhi qian jiu yi jing ti chu le qi bei hou de si xiang, cong er xiao chu dui ji suan ji de shen mi gan, tong shi hai ke yi dui xi fang wen hua de he xin zhi yi -- luo ji huo shu xue you geng shen de li jie