Videolibrary
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
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 11, 2022
17:15–17:45
, Moscow, MSU Lomonosov Hall
How to axiomatize boxing for a modal predicate logic?
V. B. Shehtman
Video records:
MP4
565.3 Mb
Number of views:
This page:
80
Video files:
15
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2024