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

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



Научная сессия МИАН, посвященная подведению итогов 2014 года
12 ноября 2014 г. 12:15–12:30, г. Москва, конференц-зал МИАН (ул. Губкина, 8) 		 

Циклические выводы для логики доказуемости Гёделя–Лёба

Д. С. Шамканов
Видеозаписи:
Flash Video 157.8 Mb
Flash Video 945.0 Mb
MP4 597.7 Mb

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

Д. С. Шамканов
Фотогалерея


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