Исчисление с квантором элементарной эквивалентности
Исчисления равенств для классов Гжегорчика
Исчисления с монотонными выводами и их экономическая интерпретация
Итеративное описание класса иерархии Гжегорчика
Итерированная клиниевская вычислимость.
Итерированная клиниевская вычислимость и суперджамп
Итерированные обогащения моделей счетных теорий и их приложения.
Итерированные операции и R- операция
К вопросу Л.В.Келдыш о структуре борелевских множеств
К вопросу моделирования булевых случайных величин функциями алгебры логоки
К вопросу об автоматной сложности языков и сложности распознавания по Лавленду
К магнусовой обобщенной проблеме тождества слов
К описанию моноидов, над которыми все полигоны имеют -стабильную теорию
К проблемам семантической информации
К проблеме тождества слов для конечно-определенных полугрупп
К строению семейств иммунных, гипериммунных и гипергипериммунных можеств
К существованию конечных базисов в замкнутых классах булевых функций.
К теоремам о сохранении соотношений в K-пространствах
К теореме Рабина о сложности вычислимых функций
К теории вычислимых семейств объектов