ヘレナ・ラショーヴァ
ラショーヴァは論理学への代数的手法の応用で知られ、1950年にはローマン・シコルスキとの共同研究で、古典一階述語論理の完全性を代数的に証明。1951年には同様の代数的証明法を直観主義論理および様相論理にも応用し、これら一連の研究はのちにより体系化されたかたちで、『メタ数学の数学』(シコルスキとの共著、1963年)および『非古典論理への代数的アプローチ』(1974年)へとまとめられた。
ラショーヴァはまた、数理論理学の計算機科学への応用にいち早く着目し、この分野においても研究の活性化に大きく貢献した。1977年にはラショーヴァの尽力により、計算機科学の専門誌Fundamenta Informaticaeが創刊され、彼女は1994年のその死まで、同誌編集主幹を務めていた。