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.
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.