I am delighted to know that Principia Mathematica can now be...
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.
Click Here or the flag on image above to change the background image