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.
Ang kanyang mga sanaysay, ipinapahayag sa 1950, ay sa algebra at lohika Algebraic paggamot ng pagganap ng calculus Lewis at Heyting at mga paksang ito ay ang mga pangunahing lugar ng kanyang mga pananaliksik sa kabuuan ng kanyang buhay.