返回首页 联系帮助
数理逻辑初步
下载此书RAR压缩包在线购买PDF电子书
莫绍揆著1980 年出版172 页ISBN:2074·366
质点几何学
莫绍揆著1992 年出版178 页ISBN:7536618549
数理逻辑概貌
莫绍揆著1989 年出版55 页ISBN:7502306617
数理逻辑是采用数学方法来研究推理的一门科学
数理逻辑教程
莫绍揆著1982 年出版391 页ISBN:13255·003
逻辑代数初步
莫绍揆著1980 年出版181 页ISBN:13100·048
数理逻辑导论
莫绍揆著1965 年出版358 页ISBN:13119·589
递归论
莫绍揆著1987 年出版308 页ISBN:7030000501
本书是一本人门书,对递归论的各个发展方向(古典的与新兴的)都作了比较详细而有系统的介绍。前四章是初等部分,详细讨论了递归函数类及其各重要子类,并以算子概念贯穿整个讨论,使读者有巩固的基础知识。后四章分...
极限论新解
莫绍揆编著1992 年出版144 页ISBN:7040025213
算法论
莫绍揆编著1982 年出版312 页ISBN:15031·447
递归函数论
莫绍揆编著1965 年出版313 页ISBN:13119·674