Gospel God Exists, Says Math: Modal Logic and Software Prove Gödel’s Logic 来自 |已发表 2014-02-22 God Exists, Says Math: Modal Logic and Software Prove Gödel’s Logic.
