Секвенциальный вариант исчисления конструктивной логики для нормальных формул без структурных правил вывода Р.А. Плюшкевичус (1967) Zapiski naucnych seminarov Leningradskogo
Сильная конструктивизируемость счетных насыщенных булевых алгебр. А.С. Морозов (1982) Algebra i Logika
Эквивалентность двух определений непрерывности В.П. Оревков (1971) Zapiski naucnych seminarov Leningradskogo