On proofs of the incompleteness theorem based on Berry's paradox by Vopenka, Boolos and Chaitin
-
- 酒井 拓史
- 神戸大学
書誌事項
- タイトル
- On proofs of the incompleteness theorem based on Berry's paradox by Vopenka, Boolos and Chaitin
- 著者
- 酒井拓史，倉橋太志，菊池誠
- 公開日
- 2012
- 資源種別
- journal article
収録刊行物
-
- Mathematical Logic Quarterly
-
Mathematical Logic Quarterly 58 2012
