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

Search
RSS
New in collection






Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science»
November 9, 2022 15:30–16:00, Moscow, MSU Lomonosov Hall
 


Undecidability of modal and superintuitionistic logics of a single unary predicate in languages with two variables

M. N. Rybakov
Video records:
MP4 106.3 Mb
Supplementary materials:
Adobe PDF 873.7 Kb

Number of views:
This page:83
Video files:12
Materials:4




Supplementary materials: РыбаковМН.pdf (873.7 Kb)
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024