of Lewis and Heyting, in 1950 under the guidance of Prof. Andrzej Mostowski. This thesis on algebraic logic initiated her career contributing to the Lwów–Warsaw school of logic: In 1956, she took her second academic degree, doktor nauk (equivalent to habilitation today) in the Institute of Mathematics of the Polish Academy of Sciences, where between 1954 and 1957, she held a post of Associate Professor, becoming a Professor in 1957 and subsequently Full Professor in 1967. For the degree, she submitted two papers, Algebraic Models of Axiomatic Theories and Constructive Theories, which together formed a thesis named Algebraic Models of Elementary Theories and their Applications. Rasiowa was pivotal in her role for inviting many international mathematicians, especially logicians, to Poland in the late '70s and early '80s, despite the country's instability at the time. According to Japanese mathematician Hiroakira Ono, she enabled collaboration through her iron will. Works 1963: (with Roman Sikorski) The Mathematics of Metamathematics 1974: An Algebraic Approach to Non-Classical Logics References External links "Helena Rasiowa", Biographies of Women Mathematicians, Agnes Scott College On the contributions of Helena Rasiowa to mathematical logic – an article by J. M. Font Website dedicated to Helena Rasiowa - by Zbigniew Ras 1917 births 1994 deaths 20th-century Polish mathematicians Polish women mathematicians Polish logicians 20th-century women mathematicians Recipients of the State Award Badge (Poland) 20th-century Polish women