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

Search
RSS
New in collection






Mathematical Logic, Algebra and Computation: A two-day conference dedicated to 85-th anniversary of S. I. Adian
July 19, 2016 11:00–11:50, Moscow, Steklov Mathematical Institute of RAS, Gubkina, 8
 


Positive provability logic and reflection calculus

L. D. Beklemishev
Video records:
Flash Video 321.8 Mb
Flash Video 1,918.4 Mb
MP4 1,230.0 Mb

Number of views:
This page:393
Video files:113

L. D. Beklemishev
Photo Gallery


 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024