Добрынин, Сергей.     Железная логика [Текст] / С. Добрынин // Вокруг света : ежемесячный научно-популярный журнал. - 2012. - № 4. - С. 104-110 : цв. ил. Дескрипторы: МАТЕМАТИКА -- МАТЕМАТИКИ -- МАТЕМАТИЧЕСКИЕ МЕТОДЫ -- КОМПЬЮТЕРЫ Аннотация: О возможности использования компьютерных вычислений для доказательств кардинальных математических теорем. Все экземпляры списаны