数理逻辑初步

莫绍揆著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