RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
Forthcoming seminars
Seminar calendar
List of seminars
Archive by years
Register a seminar

Search
RSS
Forthcoming seminars





You may need the following programs to see the files








Seminars "Proof Theory" and "Logic Online Seminar"
June 22, 2020 17:30, Steklov Mathematical Institute, Moscow, online
 


О глобальной окрестностной полноте логики доказуемости GLP

D. S. Shamkanov

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Video records:
MP4 1,491.6 Mb

Number of views:
This page:37
Video files:21
Youtube Video:


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

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




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