Warning: Undefined array key "visitor_referer_type" in /var/www/vhosts/wordinf.com/core/app/libraries/Core.php on line 98 Bertrand Russell - I am delighted to know that...
I am delighted to know that Principia Mathematica can now be done by machinery... I am quite willing to believe that anything in deductive logic can be done by machinery.