He wrote a paper Formal logic in finite terms, based on his thesis, which was published in 1931 in the Annals of Mathematics.
Siya wrote isang papel pormal na lohika sa wakas na termino, batay sa kanyang sanaysay, na kung saan ay nai-publish sa 1931 sa Annals of Mathematics.