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.
Siya ang nagpunta sa tumanggap ng mga titulo ng doktor mula sa Princeton University sa 1934, supervised sa pamamagitan ng Iglesia, para sa isang tesis may karapatan Ang teorya ng tiyak na Integers sa pormal na Logic.