数理逻辑初步

下载此书RAR压缩包在线购买PDF电子书

莫绍揆著1980 年出版172 页ISBN：2074·366

质点几何学

下载此书RAR压缩包在线购买PDF电子书

莫绍揆著1992 年出版178 页ISBN：7536618549

数理逻辑概貌

下载此书RAR压缩包在线购买PDF电子书

莫绍揆著1989 年出版55 页ISBN：7502306617

数理逻辑是采用数学方法来研究推理的一门科学

数理逻辑教程

下载此书RAR压缩包在线购买PDF电子书

莫绍揆著1982 年出版391 页ISBN：13255·003

逻辑代数初步

下载此书RAR压缩包在线购买PDF电子书

莫绍揆著1980 年出版181 页ISBN：13100·048

数理逻辑导论

下载此书RAR压缩包在线购买PDF电子书

莫绍揆著1965 年出版358 页ISBN：13119·589

递归论

下载此书RAR压缩包在线购买PDF电子书

莫绍揆著1987 年出版308 页ISBN：7030000501

本书是一本人门书，对递归论的各个发展方向(古典的与新兴的)都作了比较详细而有系统的介绍。前四章是初等部分，详细讨论了递归函数类及其各重要子类，并以算子概念贯穿整个讨论，使读者有巩固的基础知识。后四章分...

极限论新解

下载此书RAR压缩包在线购买PDF电子书

莫绍揆编著1992 年出版144 页ISBN：7040025213

算法论

下载此书RAR压缩包在线购买PDF电子书

莫绍揆编著1982 年出版312 页ISBN：15031·447

递归函数论

下载此书RAR压缩包在线购买PDF电子书

莫绍揆编著1965 年出版313 页ISBN：13119·674