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

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

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