Электронный каталог

Статья

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 в - Философские вопросы математики. Методология