Күн бұрынEmily Riehl: Formalizing post-rigorous mathematics Рет қаралды 440Hausdorff Center for Mathematics 1 1 Жүктеу
Пікірлер