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

Ламберов, Л. Д., Гущин, И. А. & Хлебалин, А. В.

11/01/2019 → 26/12/2020

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