返回首页 联系帮助
逻辑斯谛 又称，“数理逻辑”的二值数学
龚启荣著
下载此书RAR压缩包在线购买PDF电子书
1997 年出版265 页ISBN：7805839131
东西方矛盾观的形式演算 第2卷 正反数理逻辑概论
罗翊重著
1998 年出版393 页ISBN：7541610704
数理逻辑导引
张尚水著
1990 年出版326 页ISBN：7500402031
主要讲述命题逻辑和一阶谓词逻辑。
数理逻辑基础 下
胡世华 陆钟万著
1982 年出版434 页ISBN：13031·1948
数理逻辑入门
李锡胤编译
1984 年出版155 页ISBN：2214·6
数理逻辑 离散数学 一分册
王捍贫编著
1997 年出版271 页ISBN：7301034903
有趣的数理逻辑
何普恒编
1984 年出版160 页ISBN：2074·433
数理逻辑引论
王宪钧著
1998 年出版407 页ISBN：7301000987
形式逻辑与数理逻辑比较研究
杜岫石主编 王政挺 谷振诣撰写
1987 年出版364 页ISBN：2091·107
数理逻辑基础 上
胡世华 陆钟万
1981 年出版228 页ISBN：13031·1320
数理逻辑通俗讲话
王浩著
1981 年出版257 页ISBN：13031·1424
数理逻辑
王兵山等编著
1993 年出版243 页ISBN：7810242768
（美）汉密尔顿（Hamilton A.G.）著 朱水林译
1986 年出版251 页ISBN：2153·010
马光胜编著
1997 年出版177 页ISBN：7810077465
数理逻辑及其应用
朱保平编
1998 年出版131 页ISBN：7810137492
集合论与数理逻辑初步
陈淑敏编
1984 年出版185 页ISBN：13217·126
1982 年出版372 页ISBN：2209·8
面向计算机科学的数理逻辑
陆钟万著
1998 年出版258 页ISBN：7030060652
数理逻辑与机器证明
1983 年出版186 页ISBN：7030019199
胡耀鼎 张清宇著
1985 年出版263 页ISBN：15169·3347
