Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Calendar
Search
Add a seminar

RSS
Forthcoming seminars


Structural Proof Theory and Algebraic Logic
March 1, 2021 16:45–18:10, Moscow, MIPT - MI RAS 		 

Lecture 3. Structural Proof Theory and Algebraic Logic

S. L. Kuznetsov
Video records:
MP4 2,490.8 Mb
MP4 1,403.0 Mb
Supplementary materials:
Adobe PDF 49.1 Kb

Number of views:
This page:302
Video files:95
Materials:70
Youtube:

S. L. Kuznetsov




Supplementary materials: intg_and_clg.pdf (49.1 Kb)
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024