1. Карлов Б.Н. О неразрешимости теорий подмножеств некоторых унаров // Доклады Российской академии наук. Математика, информатика, процессы управления. 2024. Т.516. №1. С.15-20.
Подробно
2. Жуковский М. Е., Малышкин Ю.А. Сходимость вероятностей истинности предложений первого порядка для рекурсивных моделей случайного графа // Доклады Российской академии наук. Математика, информатика, процессы управления. 2020. Т.494. №1. С.35-37.
Подробно