He made contributions to mathematical logic where Herbrand's theorem on the theory of quantifiers appears in his doctoral thesis.
Siya na ginawa kontribusyon sa matematikal na lohika kung saan Herbrand's teorama sa teorya ng quantifiers ay lilitaw sa kanyang doktor sanaysay.