RUS
ENG
Полная версия
ВИДЕОТЕКА
Logical Perspectives 2021: Summer School and Workshop
17 июня 2021 г.
16:00
, г. Москва, МИАН, комн. 104 + online
Computer-assisted proofs and mathematical understanding: The case of univalent foundations
A. Rodin
Язык доклада:
английский
©
МИАН
, 2024