返回首页 联系帮助
数理逻辑基础 上
下载此书RAR压缩包在线购买PDF电子书
胡世华,陆钟万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元,面向馆配市场,装箱销售。本套丛书是《现代数学基础丛书的》典藏版,包含了在不同时间段出版的数学基础专著,使读者能够方便的阅读和查阅。本书涉及书目均为数...