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.

Nun, es war nicht gerade eine logische Dissertation, zumindest nicht die Art von Logik, die man beispielsweise in Whitehead und Russells Principia Mathematica finden würde. Es sah eher nach Mathematik aus; Es wurde keine formalisierte Sprache verwendet.