АДЯН Сергей Иванович

АДЯН Сергей Иванович (р. 1931) — российский математик, член-корреспондент РАН (1991). Труды по математической логике, теории алгоритмов и их приложений к алгебре.