He defended his thesis Abbreviated Proofs in the Logical Calculus, with Weyl as examiner, on 19 July 1933 and quickly returned to the United States.
He defended kanyang tesis Abbreviated Proofs sa Logical Calculus, na may Weyl bilang tagasuri, sa 19 ng Hulyo 1933 at mabilis na bumalik sa Pilipinas.