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

Статья

Gonthier, G.
Formal Proof - The Four-Color Theorem / G.Gonthier // Notices of the American Mathematical Society. – 2008. – Vol.55, No.11. – p.1382-1393. – URL: http://www.ams.org/notices/200811/tx081101382p.pdf. – Bibliogr.:19.



Спец.(статьи,препринты) = С 1 в - Философские вопросы математики. Методология