莫绍揆所著一系列涉及计算理论基础、数理逻辑方面的经典著作,包括递归函数论、递归论、可计算性理论、算法论、数理逻辑等