RUS
ENG
Full version
SEMINARS
Mathematical seminar Faculty of Computer Science HSE
March 15, 2024
18:10
От интуиционистской логики к логике задач
Анастасия Оноприенко
https://www.youtube.com/watch?v=T8pHqUIQhuk
©
Steklov Math. Inst. of RAS
, 2024
