«Аналог интерполяционной теоремы для логики с оператором Руета», Слюсарев И. Ю. (МГУ имени М.В. Ломоносова)