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

Статья

Harrison, J.
Formal Proof - Theory and Practice / J.Harrison // Notices of the American Mathematical Society. – 2008. – Vol.55, No.11. – p.1395-1406. – URL: http://www.ams.org/notices/200811/tx081101395p.pdf. – Bibliogr.:28.



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