ЖУРАВЛЕВ Юрий Иванович (р . 1935) Словарь: Большой Энциклопедический словарь Российский математик, академик РАН (1992). Труды по математической логике и математическим вопросам кибернетики. Ленинская премия (1966).