کتاب های 莫绍揆
数理逻辑导论
莫绍揆, 1965
数理逻辑漫谈
莫绍揆, 1980
数理逻辑概貌
莫绍揆, 1989
递归论
莫绍揆, 1987
递归论
莫绍揆, 1987
逻辑代数初步
莫绍揆, 1980
形式语言及其与自动机的关系: Formal Languages and Their Relation to Automata
John E. Hopcroft; Jeffrey D. Ullman; 莫绍揆, 1979
可计算性理论: 计算机科学丛书
莫绍揆; 王元元, 1987
极限论新解
莫绍揆, 1992
算法论
莫绍揆, 1982
