Д 57       ДОБРЫНИН,С.

ЖЕЛЕЗНАЯ ЛОГИКА математикам приходится использовать компьютеры там, где они традиционно пользовались только своей головой - в доказательствах теорем. Должны ли ученые довериться машинам? С. ДОБРЫНИН // ВОКРУГ СВЕТА (УКР.). - 2012. - № 4. - С. 86-92. - .