逻辑的引擎 (美)马丁·戴维斯(Martin Davis) 著;张卜天 译 著 文教 文轩网

其他 长江文艺出版社 北京教育出版社 南京大学出版社 天地出版社 陕西人民教育出版社 商务印书馆 首都师范大学出版社 上海科学技术文献出版社 四川教育出版社 上海科技教育出版社 浙江教育出版社 外文出版社 华东师范大学出版社 科学出版社 北京师范大学出版社 广西师范大学出版社 上海科技文献出版社 中信出版社 北京大学出版社