共 50 条
- [1] HUSSERL AND GODEL'S INCOMPLETENESS THEOREMS [J]. REVIEW OF SYMBOLIC LOGIC, 2017, 10 (04): : 638 - 650
- [3] On the Depth of Godel's Incompleteness Theorems [J]. PHILOSOPHIA MATHEMATICA, 2022, 30 (02) : 173 - 199
- [7] CURRENT RESEARCH ON GoDEL'S INCOMPLETENESS THEOREMS [J]. BULLETIN OF SYMBOLIC LOGIC, 2021, 27 (02) : 113 - 167
- [8] TOWARD AN INTERPRETATION OF GODEL'S INCOMPLETENESS THEOREMS [J]. VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-FILOSOFIYA-SOTSIOLOGIYA-POLITOLOGIYA-TOMSK STATE UNIVERSITY JOURNAL OF PHILOSOPHY SOCIOLOGY AND POLITICAL SCIENCE, 2011, 16 (04): : 177 - +
- [9] An automatic proof of Godel's incompleteness theorem [J]. ARTIFICIAL INTELLIGENCE, 1997, 95 (01) : 203 - 207
- [10] The Scope of Godel's First Incompleteness Theorem [J]. LOGICA UNIVERSALIS, 2014, 8 (3-4) : 499 - 552