莫绍揆编著1991 年出版336 页ISBN：7040026600
本书对数学各科中凡牵涉到基础问题的部分汇聚起来，从数理逻辑的角度加以分析、检讨，作了系统介绍。
（美）霍普克罗夫特（J.E.Hopcroft），（美）厄尔曼（J.D.Ullman）著；莫绍揆等译1979 年出版316 页ISBN：15031·231
莫绍揆著1987 年出版308 页ISBN：7030000501
本书是一本人门书，对递归论的各个发展方向(古典的与新兴的)都作了比较详细而有系统的介绍。前四章是初等部分，详细讨论了递归函数类及其各重要子类，并以算子概念贯穿整个讨论，使读者有巩固的基础知识。后四章分...
莫绍揆，王元元著1987 年出版335 页ISBN：7030000617
本书包括数理逻辑的递归论和形式语言论两部分内容. 一至八章为递归论部分，详尽地研究了初等函数、原始递归函数、递归函数及给类算子，充分地讨论了Turing机与Turing可计算性概念. 九、十两章为形式语言论部分...
（德）希尔柏脱（D.Hilbert），（德）阿克曼（W.Ackermann）著；莫绍揆译1958 年出版200 页ISBN：13031·750
本书是数理逻辑的有名经典著作之一，内容包括四章：第一章为命题演算，介绍基本逻辑联结词及其各种性质，并就命题演算而给出一个公理体系，证明其不矛盾性，完备性及互相独立性．第二章为类演算，兼讨论如何从类演算......
