Gödel’s completeness (1930) nd incompleteness (1931) theorems: A new reading and comparative interpretation
收藏数据链接：
官方服务：
资源简介：
A generalization of Peano arithmetic to ground mathematics
提供机构：
Васил Пенчев创建时间：
2016-06-08
社区交流群
科研交流群
商业服务
A generalization of Peano arithmetic to ground mathematics