A G D Emerson 相关电子书下载

J.BLIGH J.L.CLOUDSLEY-THOMPSON A.G.MACDONALD2222 年出版456 页ISBN：0632000686

RONALD D.KAY WILLIAM M.EDWARDS PATRICIA A.DUFFY著2222 年出版445 页ISBN：0072428686

（英）A·G·哈密尔顿著；骆如枫等译1989 年出版294 页ISBN：7100001463

本书是数理逻辑的基础读物，对递归论、公理集合论、模型论、证明论与逻辑演算五部分的基本内容、方法作了实质性的介绍。

（美）法因（H.A.Fine），（美）盖格（G.H.Geiger）李光溥，赵宇译1983 年出版372 页ISBN：15062·3899

（美）T.P.Lyons，（美）D.J.A.Cole主编；王若军译2000 年出版194 页ISBN：7810662139

Larry L.Constantine，Lucy A.D.Lockwood著；刘正捷等译2004 年出版392 页ISBN：7111140583

面向使用的软件设计，ISBN：9787111140580，作者：Larry L.Constantine，Lucy A.D.Lockwood著；刘正捷等译；刘正捷译

（美）小威廉·卡丽斯特（WILLIAM D.CALLISTER JR），（美）大卫·来斯威什（DAVID G.RETHWISCH）著；郭福，马立民译2016 年出版808 页ISBN：7122224958

DR Z.S.PAWLOWSKI PROFESSOR G.A.SCHAD DR G.J.STOTT2222 年出版96 页ISBN：9241544155

（美）温特渥斯（G.A.Wentworth）著；魏镜译1911 年出版410 页ISBN：

G.FERRATE AND E.A.PUENTE2222 年出版528 页ISBN：0080293522