已发表 2013-12-03 God Exists, Says Math: Modal Logic and Software Prove Gödel’s Logic God Exists, Says Math: […]