A P SIMESTER AND G R SULLIVAN 相关电子书下载

EUGENE P.SHEEHY RITA G.KECKEISSEN AND EILEEN MCIL VAINE2222 年出版0 页ISBN：

赵广绪 R·A·格林肯1984 年出版451 页ISBN：

A.F.R.Wollaston1921 年出版332 页ISBN：

A.R.Jumikis；唐山译1976 年出版793 页ISBN：

R.RIEGER A.MICHAELIS2222 年出版648 页ISBN：

A.R.VON HIPPEI2222 年出版514 页ISBN：

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

罗伯特·里尔登（ROBERT C.REARDON），珍妮特·伦兹（JANET G.LENZ），加里·彼得森（GARY W.PETERSON）；小詹姆斯·桑普森（JAMES P.SAMPSON JR.）著；侯志瑾译2016 年出版338 页ISBN：7300227559

史蒂文斯（R.P.Stevens）著；山东大学翻译组译1979 年出版542 页ISBN：11099·195

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

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