数理逻辑引论与归结原理 (英文版)

作者： 本社 编 出 版 社： 科学出版社 出版时间： 2009-1-1字数：版次： 1页数： 335印刷时间：开本： 16开印次： 1纸张：I S B N ： 9787030228994包装：

作者： 李汉杰著 出 版 社： 出版时间： 2008-2-1字数：版次： 1页数： 429印刷时间：开本： 16开印次：纸张：I S B N ： 9787811124989包装： 平装内容简介

作者： （美）库兰特（Courant，R.）著 出 版 社： 世界图书出版公司 出版时间： 2008-1-1字数：版次： 1页数： 661印刷时间： 2008/01/01开本： 24开印次： 1纸张：

作者： （美）斯特劳斯特鲁普 著 出 版 社： 机械工业出版社 出版时间： 2009-10-1字数：版次： 1页数： 1235印刷时间： 2009-10-1开本： 16开印次： 1纸张： 胶版纸I

作者： （英）考克斯著 出 版 社： 人民邮电出版社 出版时间： 2009-8-1字数：版次： 1页数： 219印刷时间：开本： 16开印次：纸张：I S B N ： 9787115210746

作者： （美）林（Lin,C.），（美）斯奈德（Snyder,L.）著 出 版 社： 机械工业出版社 出版时间： 2008-8-1字数：版次： 1页数： 338印刷时间： 2008/08/01开本：

作者： 韩建国，廖俊必，（英）Guiyun Tian编著 出 版 社： 高等教育出版社 出版时间： 2004-11-1字数： 450000版次： 1页数： 325印刷时间： 2004/11/01开本：

作者： （美）弗莱格 等著 出 版 社： 电子工业出版社 出版时间： 2007-8-1字数： 1822000版次： 1页数： 845印刷时间： 2007/08/01开本：印次：纸张： 胶版纸I S