| Hirschfeldt D. | Structure and nonstructure in computable model theory |
| Khoussainov B. and Rubin S. | Finite automata and algebraic structures |
| Kron A. | A generalization of the P-W problem |
| Ma J. | An alternative solution to the frame problem |
| Spreen D. | Can partial numberings be totalized? |
| Абдыхалыков А. Т. | Метабелевы алгебры Лейбница |
| Абуталипова Ш. У. | Проблема вхождения для бимодулей над кольцами многочленов |
| Ахтямов Р. Б. | Об индексных множествах |
| Ашаев И. В. | Аналоги арифметической иерархии в обобщенной вычислимости |
| Бадаев С. А. и Гончаров С. С. | Ershov's problems on minimal numberings |
| Бажанов В. А. | К проблеме ассимиляции крупных открытий в истории логики |
| Байжанов Б. С. | Types and expansions of models of weakly o-minimal and stable theories by unary predicates |
| Бардаков В. Г. | Об одном свойстве групп субэкспоненциального роста |
| Белякин Н. В. и Ганов В. А. | Об одной модификации принципа выбора |
| Белякин Н. В. и Победин Л. Н. | На пути к альтернативной бесконечности |
| Бельтюков А. П. | Сложностная иерархия конечных равнодоступных адресных машин |
| Бирюков П. А. и Мишкин В. В. | Set ideals with isomorphic symmetry groups |
| Блудов В. В. | Геометрическая эквивалентность групп и квазимногообразий |
| Бойко В. А. | Лобачевский и Кант |
| Бредихин Д. А. | N-variables logic and Jonsson's algebra of relations |
| Будкин А. И. | О квазимногообразиях, содержащих нильпотентные группы без кручения |
| Булатов А. А. | Трехэлементные мальцевские алгебры |
| Бурлуцкий В. В. | Подход к реализации вывода в различных модальных системах |
| Васенин В. А. | Научно-образовательные сети, новые информационнаые технологии и приложения |
| Васильев С. Н. и Жерлов А. К. | Исчисления формул с типовыми кванторами: стратегии и модификаторы |
| Викентьев А. А. | Метрика и информативность на формулах классического исчисления высказываний |
| Винокуров С. Ф. | Разложения булевых функций по операторам сплетения |
| Вербовский В. В. | On unary functions definable in coset-minimal ordered groups |
| Волков М. В. | Algorithmic problems for finite semigroups and finite automata |
| Глушкова В. Н. и Сидоренко В. С. | Вычислимые S-модели |
| Голованова Е. М. | Об одном классе структурно-полных S4-логик ширины 2 |
| Гуц А. К. | Многозначная логика и многовариантный мир |
| Гуц А. К. и Звягинцев А. А. | Интуиционистская геометрия и сигнатура пространства-времени |
| Дегтев А. Н. | О комбинаторно-селекторных множествах |
| Денисов А. С. | Выполнимость эксцентричных формул |
| Добрица В. П. и Леонов М. Г. | Различимость предельных и предельно ограниченных сводимостей |
| Добрица В. П. и Яхъяева Г. Э. | О гомоморфизмах размытых групп |
| Дудаков С. М. | The logic program model updates complexity (deletion case) |
| Еремин И. И. | Двойственность в дизъюнктивном программировании |
| Желябин В. Н. | Пространства монотонной сходимости в логическом программировании |
| Жильцов И. Ю. | О k-рекурсивности класса всех конечных апериодических полугрупп |
| Журтов А. Х. | О группах регулярных автоморфизмов абелевых групп |
| Захаров С. Д. | О представлении обобщенных последовательностей Фибоначчи |
| Зенков А. В. | Частичные порядки группы порядковых автоморфизмов рациональных чисел |
| Зубков О. В. | Представление функций алгебры логики суммами специального вида |
| Ильичева О. А. | Эффективные средства логического моделирования и проектирования сложных систем |
| Ишмухаметов Ш. Т. | Embeddings into weakly recursive degrees |
| Калимуллин И. Ш. | Об элементарных теориях n-р.п. степеней по вычислимости |
| Камельчук Е. Н. | Платон и "Совершенное число `лет' для бракосочетания" |
| Кириченко К. Д. | Критерий бесповторности функций алгебры логики в бинарном базисе |
| Князев О. В. | Алгебры с относительно чистыми подалгебрами |
| Кондратьев А. С. и Мазуров В.Д. | On 2-signalizers of finite simple groups |
| Коровина М. В. и Кудинов О. В. | A characterization of computability over the reals without equality |
| Корольков Ю. Д. | Индексные множества дискретных семейств общерекурсивных функций |
| Кочкарев Б. С. | Структурные свойства одного класса максимальных шпернеровых семейств подмножеств конечного множества |
| Красников А. Ф. | Некоторые свойства элементов группы F/[N, N] |
| Кузнецов А. М. | Multidimensional algebra on the generalized consequences of classes |
| Кузьмин Е. Н. | Супералгебры Ли малых размерностей |
| Латкин И. В. | О конструктивизируемости тензорного произведени |
| Левчук В. М. | Абелевы идеалы некоторых радикальных колец |
| Ленюк С. В. | Фильтры в решетке квазимногообразий NcA-групп |
| Литвинова М. В. | Базисы квазитождеств некоторых квазимногообразий |
| Лялецкий А. В. | Секвенциальный формализм и дедуктивные системы для классической логики 1-го порядка |
| Мардаев С. И. | Definability of least fixed points |
| Мартынов Л. М. | Reduced varieties of monoids and semigroups with zero |
| Матлашевская О. В. | Об элементарной теории класса конечных простых жестких решеток |
| Медведев Н. Я. | Embeddings into lattice fully orderable groups |
| Михалев А. В. и Захаров В. К. | Set-theoretical foundations for category theory |
| Михеева Е. А. | О глубине замкнутых классов, не имеющих конечных базисов в Lk |
| Молчанов В. А. | Nonstandard approach to algebraic theory of words on finite automata and semigroups |
| Мурзина В. Ф. | Временные логики, основанные на A-пространствах |
| Нагребецкая Ю. В. | О границах разрешимости колец целочисленных матриц |
| Непейвода Н. Н. | Реверсивная конструктивная логика |
| Оманадзе Р. Ш. | On complexity properties of recursively enumerable sets and closure systems |
| Отрыванкина Т. М. | On pseudovarieties of finite algebraic automata |
| Палютин Е. А. | Элементарная классификация примитивно связных структур |
| Панков С. В. | Параллельно-последовательная верификация распределенных SPMD-программ с асинхронным взаимодействием |
| Панкратов А. В. | Исследование некоторых свойств е-степеней кототальных множеств |
| Пантелеев В. И. и Перязев Н. Н. | Операторы по переменным на множестве функций алгебры логики |
| Перетятькин М. Г. | Polar construction of finitely axiomatizable theories |
| Пинус А. Г. | О шкале потенциалов вычислимости n-элементных алгебр |
| Пожидаев А. П. | Обертывающие 3-лиевых алгебр |
| Попов В. Ю. | О проблеме распознавания эквациональной рекурсивности |
| Пузаренко В. Г. | О теориях допустимых множеств, имеющих единственную модель |
| Пунинская В. А. | Modules with few models over a commutative valuation ring |
| Пупышев В. В. | Интерпретация интуиционистского исчисления высказываний на языке программирования С |
| Пыркин С. Г. | m-Эквивалентность конечно-аксиматизируемых неисчезающих I-алгебр |
| Резников В. М. | Концепция теории вероятностей Колмогорова: философский анализ |
| Репницкий В. Б. и Верницкий А. С. | On the representation of semigroups by semigroups of order-presenting mappings on chains |
| Савельев Л. Я. | Ортоаддитивные меры |
| Салий В. Н. | Минимальные многообразия полугрупп и квазибулевы степени |
| Сакунова Е. С. | О P-сводимости и категории Kp частично-рекурсивных функций |
| Селиванов В. Л. | On two conjectures of W. Wadge |
| Семенова М. В. | Unique irredundant decompositions in complete lattices |
| Семигродских А. П. | О замкнутых классах примитивно рекурсивных функций |
| Симонов А. А. | Алгебраические структуры, порождаемые двумя согласованными функциональными соответствиями |
| Солон Б. Я. | The distributively of S2 e-degrees |
| Сокулина И. Н. и Абросимов М. Б. | Некоторые аспекты применения многоуровневых систем оценивания знаний |
| Степанова А. А. | О моноидах с суперстабильными плоскими полигонами |
| Судоплатов С. В. | О погружении тригонометрий групп в неглавные типы |
| Тимошенко Е. И. | Тестовые элементы и тестовый ранг свободной метабелевой группы |
| Толстых В. А. | Короткие башни автоморфизмов |
| Тронин С. Н. | Абстрактные клоны и операды |
| Трофимов А. В. | Счетно-категоричные булевы алгебры с выделенной подалгеброй Ершова |
| Федоришин Б. Р. и Иванов В. С. | Финитная аппроксимируемость по допустимости правил вывода для суперинтуиционистских логик |
| Филькин А. В. | О решетке асинхронных конгруэнций автомата |
| Хисамиев А. Н. | Связь между T-степенями и S-степенями моделей |
| Хисамиев Н. Г. | О конструктивных абелевых группах |
| Храмцов Д. Г. | Гомоморфизмы групп автоморфизмов свободных групп |
| Шабунин Л. В. | Неразрешимость элементарной теории многообразий Кантора |
| Ягжев А. В. | Engel algebras satisfying the Capelli identities |
| Яхъяева Г. Э. | Свободные размытые группы |
| Яшин А. Д. | Об интерпретации интуиционистской логики высказываний в интуиционистской прототетике |