Gödel’s completeness (1930) nd incompleteness (1931) theorems: A new reading and comparative interpretation
收藏Figshare2016-06-08 更新2026-04-29 收录
下载链接：
https://figshare.com/articles/dataset/G_del_s_completeness_1930_nd_incompleteness_1931_theorems_A_new_reading_and_comparative_interpretation/3422971
下载链接
链接失效反馈官方服务：
资源简介：
A generalization of Peano arithmetic to ground mathematics
创建时间：
2016-06-08
