Add spaces: HewentontoreceiveadoctoratefromPrincetonUniversityin1934,supervisedbyChurch,forathesisentitledATheoryofPositiveIntegersinFormalLogic.
He went on to receive a doctorate from Princeton University in 1934, supervised by Church , for a thesis entitled A Theory of Positive Integers in Formal Logic.