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

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






Workshop on Proof Theory, Modal Logic and Reflection Principles
17 октября 2017 г. 10:35–11:10, Москва, Математический институт им. В.А. Стеклова РАН
 


Turing jumps again

J. Joosten

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

J. Joosten




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