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