Лев Дмитриевич Беклемишев

Схемы рефлексии и алгебры доказуемости в формальной арифметике@@@Reflection principles and provability algebras in formal arithmetic

Лев Дмитриевич Беклемишев, Lev D. Beklemishev, L. D. Beklemishev, 2005 .

Владимир Андреевич Успенский (27.11.1930-27.06.2018)

Юрий Леонидович Ершов, Владимир Михайлович Тихомиров, Sergei Ivanovich Adian, 2019, Uspekhi Matematicheskikh Nauk.

Теоремы Гeделя о неполноте и границы их применимости. I@@@Gödel incompleteness theorems and the limits of their applicability. I

Лев Дмитриевич Беклемишев, L. D. Beklemishev, 2010 .

Сергей Иванович Адян (к 75-летию со дня рождения)@@@Sergei Ivanovich Adian (on his 75th birthday)

Александр Александрович Разборов, V. Uspenskii, A. V. Semenov, 2006 .