Словари Онлайн
, российский математик, член-корреспондент РАН (1991). Труды по математической логике, теории алгоритмов и их приложений к алгебре.
В других словарях: ...