Subsystems of Second Order Arithmetic 上传者：qqttggbb 2020-05-15 14:27:30上传 PDF文件 1.95MB 热度 59次 这本书是反推数学相关的入门经典，反推数学是数理逻辑中的一个小分支，希望过通过求得构造数学定理所需要的最弱公理系统来研究定理之间的等价性和难证性。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
