At the University, she prepared and defended her PhD thesis, Algebraic Treatment of the Functional Calculi of Lewis and Heyting, in 1950 under the guidance of Prof. Andrzej Mostowski.
Na universidade preparou e defendeu a súa tese Algebraic Treatment of the Functional Calculi of Lewis and Heyting en 1950 baixo a dirección do profesor Andrzej Mostowski.