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