Videolibrary
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Video Library
Archive
Most viewed videos

Search
RSS
New in collection






Traditional winter session MIAN–POMI devoted to the topic "Mathematical logic"
December 25, 2018 15:05–15:40, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
 


$\Pi_1^0$-полнота исчисления Ламбека с итерацией Клини

S. L. Kuznetsov

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Video records:
MP4 861.7 Mb
MP4 391.4 Mb

Number of views:
This page:152
Video files:17

S. L. Kuznetsov
Photo Gallery


Видео не загружается в Ваш браузер:
  1. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  2. Сообщите администратору портала о данной ошибке


SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021