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 10, 2022 17:15–17:30, Moscow, MSU Lomonosov Hall 		 

Analogues of Shepherdson's Theorem for the arithmetical language with exponentiation

K. A. Kovalev
Video records:
MP4 314.5 Mb
Supplementary materials:
Adobe PDF 312.4 Kb
Adobe PDF 312.2 Kb

Number of views:
This page:129
Video files:25
Materials:9




Supplementary materials: КовалевКА2.pdf (312.4 Kb) , КовалевКА.pdf (312.2 Kb)
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024