RUS
ENG
Full version
SEMINARS
Mathematical seminar Faculty of Computer Science HSE
March 21, 2025
18:10
Теория типов и альтернативные основания математики
Павел Соколов
https://www.youtube.com/watch?v=pY4orox_XZA
Website:
https://vk.com/wall-69306530_11672
©
Steklov Math. Inst. of RAS
, 2025
