资源最后更新于 2020-08-23 08:22:04
作者：【美】M.戴维斯
出版社：北京大学出版社
出版日期：0000-01
ISBN：9787124356343
文件格式： pdf
标签： 计算理论 数学 计算机 递归论 计算机科学 科学 哲学 第三次数学危机
简介· · · · · ·
