Советский математик. Родилась в Пружанах (ныне Брестской обл.). Окончила институт красной профессуры (1931). С 1925 руководила семинаром по методологии математики и естественных наук в Московском университете. С 1930 читала там же курс истории математики. Основные исследования посвящены математической логике, истории и философии математики. С 1930 с помощью своего ученика К. А. Рыбникова начала исследования математических рукописей К. Маркса. С 1943 руководила в Московском университете (вместе с П. С. Новиковым, а впоследствии А. А. Марковым) научным семинаром по математической логике, организованным И. И. Жегалкиным, и оказала значительное влияние на творчество нескольких поколений советских логиков.