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

Search
RSS
New in collection



Logical Perspectives 2018
May 17, 2018 10:00, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab. 		 

On the computational content of theorems

Vasco Brattka
Video records:
MP4 2,343.2 Mb
MP4 532.9 Mb
Supplementary materials:
Adobe PDF 94.1 Kb
Adobe PDF 1.2 Mb

Number of views:
This page:221
Video files:29
Materials:38

Vasco Brattka




Supplementary materials: abstract.pdf (94.1 Kb) , presentation.pdf (1.2 Mb)

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