Well it was not exactly a dissertation in logic, at least not the kind of logic you would find in Whitehead and Russell's Principia Mathematica for instance. It looked more like mathematics; no formalized language was used. Votes: 1

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. Votes: 0