可计算性理论与微分几何 电子书下载

原名:Computability Theory and Differential Geometry
作品简介:微分几何结果需要深厚的拓扑背景，数学家们证明了通过可计算函数的精确定义……