She led the Foundations of Mathematics Section from 1964 and the Mathematical Logic Section after its creation in 1970.
Siya na humantong sa pundasyon ng Matematika Section mula sa 1,964 at sa matematika Logic Section matapos ang paglikha sa 1970.