数理逻辑基础 上

胡世华，陆钟万1981 年出版228 页ISBN：13031·1320

数理逻辑基础 下

胡世华，陆钟万著1982 年出版434 页ISBN：13031·1948

数理逻辑基础 （上册）

胡世华 陆钟万1981 年出版228 页ISBN：

数理逻辑基础 下

胡世华，陆钟万1981 年出版434 页ISBN：

数理逻辑与机器证明

陆钟万著1983 年出版186 页ISBN：7030019199

面向计算机科学的数理逻辑

陆钟万著1998 年出版258 页ISBN：7030060652

面向计算机科学的数理逻辑

陆钟万著1989 年出版240 页ISBN：7301008287

初等代数和几何的判定法

（英）A.塔尔斯基（Tarsdi，A.），（英）J.C.C.麦克铿赛（Mckinsey，J.C.C.）著；陆钟万译1959 年出版75 页ISBN：13031·996

现代数学基础丛书 数理逻辑基础 上

胡世华，陆钟万著2017 年出版233 页ISBN：7030464217

数理逻辑基础 上

胡世华，陆钟万著2015 年出版233 页ISBN：9787030444035

包含《现代数学基础丛书》共50本，一个书号，定价7000元，面向馆配市场，装箱销售。本套丛书是《现代数学基础丛书的》典藏版，包含了在不同时间段出版的数学基础专著，使读者能够方便的阅读和查阅。本书涉及书目均为数...