— 卢镇波， 李青， 万晶编著

索 书 号 ：TP312BA/186

标准编码： 7-302-10683-5

出版信息：清华大学出版社  2005  北京

中文图书

收藏

— (英) 康威·劳埃德·摩根编著

索 书 号 ：TU206/82

标准编码： 7-112-06734-0

出版信息：中国建筑工业出版社  2004  北京

中文图书

收藏

— (美) 亚伯拉罕·匹赞姆, (以) 优尔·曼斯菲尔德编著 A

索 书 号 ：F590.6/14

标准编码： 7-81084-422-9

出版信息：东北财经大学出版社  2005  大连

中文图书

收藏

— (美) ERIC S. ROBERTS著

索 书 号 ：TP312C/360

标准编码： 7-111-15971-3

出版信息：机械工业出版社  2008  北京

中文图书

收藏

— 郭万军，李辉编著

索 书 号 ：TP391.41/487/2

标准编码： 7-115-13127-9

出版信息：人民邮电出版社  2005  北京

中文图书

收藏

— 蔡万坤编著

索 书 号 ：F719.3/33

标准编码： 7-04-010783-X

出版信息：高等教育出版社  2002  北京

中文图书

收藏

— 彭万波， 周宏敏， 贾辉编著

索 书 号 ：TP393.092/249

标准编码： 7-115-09827-1

出版信息：人民邮电出版社  2002  北京

中文图书

收藏

— (英)A·J·艾耶尔著

索 书 号 ：H0/32

出版信息：上海译文出版社  1981  上海

中文图书

收藏

— 陆钟万著

索 书 号 ：O141/9

出版信息：科学出版社  1983  北京

主 题 词 ： 数理逻辑   机器证明  

中文图书

收藏

— (美) WARREN J. KEEGAN著

索 书 号 ：F740.2/17

标准编码： 7-302-08867-5

出版信息：清华大学出版社  2004  北京

中文图书

收藏