His thesis, entitled A Theory of Positive Integers in Formal Logic, was supervised by Alonzo Church.
Teza, intitulată O teorie a numerelor întregi pozitive în logica formală, a fost elaborată sub supravegherea lui Alonzo Church.