Systems of Logic Based on Ordinals was the PhD dissertation of the mathematician Alan Turing.
The thesis was completed at Princeton under Alonzo Church and was a classic work in mathematics that introduced the concept of ordinal logic. From Wikipedia