On proofs of the incompleteness theorems based on Berry's paradox by Vopenka, Chaitin, and Boolos
On proofs of the incompleteness theorems based on Berry's paradox by Vopenka, Chaitin, and Boolos
复制标题
Vopenka、Chaitin 和 Boolos 基于 Berry 悖论的不完备性定理的证明
DOI：
--
复制
发表时间：
2012
影响因子：
0.3
通讯作者：
T. Kurahashi and H. Sakai
中科院分区：
文献类型：
--
作者：
M. Kikuchi;T. Kurahashi and H. Sakai
