可计算性与数理逻辑（第四版）（中文版）
这是一本计算机科学领域很重要的一本书，讲解可计算性和数理逻辑方面的深入的内容。
2019-12-21 19:22:52
8.19MB
1