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: Summer School and Workshop
June 17, 2021 10:30–11:00, Logical Perspectives 2021 Workshop, Moscow, Steklov Mathematical Institute, Room 104 + online
 


On a possibility of finite characterizations for Kripke complete non-recursively axiomatizable superintuitionistic predicate logics

D. P. Skvortsov
Video records:
MP4 1,737.1 Mb
Materials:
Adobe PDF 85.1 Kb

Number of views:
This page:27
Video files:11
Materials:3


Видео не загружается в Ваш браузер:
  1. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  2. Сообщите администратору портала о данной ошибке


Materials: workshop_skvortsov.pdf (85.1 Kb)

Language: English

SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021