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

Статья

Wiedijk, F.
Formal Proof - Getting Started / F.Wiedijk // Notices of the American Mathematical Society. – 2008. – Vol.55, No.11. – p.1408-1414. – URL: http://www.ams.org/notices/200811/tx081101408p.pdf. – Bibliogr.:12.



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