Sof'ya Aleksandrovna Yanovskaya's contributions to logic and history of logic

Abstract

Sof'ya Aleksandrovna Yanovskaya's contributions to the development of the disciplines of mathematical logic and history of logic in the USSR are enumerated. This is followed by a detailed sketch of the work of Soviet logicians of which she gave an historical survey and exposition in her histories of mathematical logic and foundations of mathematics from 1917 to 1947 and from 1948 to 1957 in her two studies of 1948 and 1959. These two studies, taken together, form the basis for a history of mathematical logic in the USSR and reflects the situation formathematical logic in Russia during the the first 40 years of the Soviet period.