Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления






Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
24 октября 2022 г. 10:00–11:00, Novosibirsk and Kazan
 


Primitive recursive reverse mathematics

Marta Fiori Carones

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
Видеозаписи:
MP4 135.7 Mb
Дополнительные материалы:
Adobe PDF 55.9 Kb
Adobe PDF 44.5 Kb

Количество просмотров:
Эта страница:98
Видеофайлы:7
Материалы:16




Дополнительные материалы: Fiori_Carones_Slides.pdf (55.9 Kb) , Fiori_Carones_Abstract.pdf (44.5 Kb)

Язык доклада: английский
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024