岳霖并任会长。莫绍揆在1954年指出多值逻辑也不能无条件地使用概括原理，在1955年改进了大卫·希尔伯特和 (Paul Bernays)的命题演算公理系统。
理论计算机科学.莫绍揆在1987年出版了《递归函数论》，1987年与王元合着《可计算性理论》，还着有《算法论》，这几本书偏向理论计算机科学，即计算模型和计算理论。曾与胡世华在递归论问题上有所交流和讨论。
奖项.
莫绍揆奖学金.美国宾州斯特劳兹堡州立大学（East stroud