Her thesis, presented in 1950, was on algebra and logic Algebraic treatment of the functional calculus of Lewis and Heyting and these topics would be the main areas of her research throughout her life.
Su tesis, presentada en 1950, era el álgebra y la lógica algebraica tratamiento del cálculo funcional de Lewis y Heyting y estos temas se los principales ámbitos de su investigación durante toda su vida.