数理逻辑初步》和1982年《数理逻辑教程》是中国最早的数理逻辑教材。1979年，中国逻辑学会成立，莫绍揆负责数理逻辑分支学科，并担任常务理事；常务理事还有金岳霖并任会长。莫绍揆在1954年指出多值逻辑也不能无条件地使用概括原理，在1955年改进了大卫·希尔伯特和 (Paul Bernays)的命题演算公理系统。
理论计算机科学.莫绍揆在1987年出版了《递归函数论》，1987年与王元合着《可计算性理论》，还着有《算法论》，这几本书偏向理论计算机科学，即计算模型和计算理论。曾与胡