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 2021: Conference
June 7, 2021 16:00–17:10, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
 


Löb's principle for pair theories

A. Visser
Video records:
MP4 360.4 Mb
Supplementary materials:
Adobe PDF 241.9 Kb
Adobe PDF 126.8 Kb

Number of views:
This page:202
Video files:33
Materials:42

A. Visser




Supplementary materials: conference_visser_slides.pdf (241.9 Kb) , conference_visser.pdf (126.8 Kb)

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