Special Topic God Exists, Says Math: Modal Logic and Software Prove Gödel’s Logic 来自 Stephen|已发表 2013-12-03 God Exists, Says Math: Modal Logic and Software Prove Gödel’s Logic.
