Эпистемология компьютерного доказательства с точки зрения теоретико-типового подхода к основаниям математики

Проект: Проект-Грант

Фильтр
Статья

Поиск результатов