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

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



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

Complexity for Kripke’s theory of truth

Stanislav Speranski

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Видеозаписи:
MP4 145.2 Mb
Дополнительные материалы:
Adobe PDF 54.6 Kb
Adobe PDF 224.6 Kb

Количество просмотров:
Эта страница:135
Видеофайлы:18
Материалы:21




Дополнительные материалы: Speranski_Abstract.pdf (54.6 Kb) , Speranski_Slides.pdf (224.6 Kb)

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