莫绍揆著作

【文件属性】：

文件名称：莫绍揆著作

文件大小：51.43MB

文件格式：ZIP

更新时间：2018-10-05 10:41:57

算法 可计算性 数理逻辑

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