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.
-- Alonzo Church
   
Alonzo Church   Name:
Alonzo Church
Type:
Mathematician
Nationality:
American
Birth:
June 14, 1903
Death:
August 11, 1995
https://www.nutquote.com/quote/Alonzo_Church