Поиск :
Личный кабинет :
Электронный каталог: Hales, T. C. - Formal Proof
Hales, T. C. - Formal Proof
![](/OpacUnicode/app/webroot/img/doctypes/6.gif)
Статья
Автор: Hales, T. C.
Notices of the American Mathematical Society: Formal Proof
б.г.
ISBN отсутствует
Автор: Hales, T. C.
Notices of the American Mathematical Society: Formal Proof
б.г.
ISBN отсутствует
Статья
Hales, T.C.
Formal Proof / T.C.Hales // Notices of the American Mathematical Society. – 2008. – Vol.55, No.11. – p.1370-1380. – URL: http://www.ams.org/notices/200811/tx081101370p.pdf. – Bibliogr.:30.
Спец.(статьи,препринты) = С 1 в - Философские вопросы математики. Методология
Hales, T.C.
Formal Proof / T.C.Hales // Notices of the American Mathematical Society. – 2008. – Vol.55, No.11. – p.1370-1380. – URL: http://www.ams.org/notices/200811/tx081101370p.pdf. – Bibliogr.:30.
Спец.(статьи,препринты) = С 1 в - Философские вопросы математики. Методология