Подколзин Александр Сергеевич (доктор физико-математических наук, профессор)

• Дипломная работа (2020): Кванторные определения и бескванторная выразимость в логике предикатов.