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.
dissertation find formalize
