On proofs of the incompleteness theorems based on Berry's paradox by Vopenka, Chaitin, and Boolos

• Autores: Makoto Kikuchi, Taishi Kurahashi, Hiroshi Sakai
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 58, Nº. 4-5, 2012, págs. 307-316
• Idioma: inglés
• Texto completo no disponible (Saber más ...)