Seminars: S. O. Speranski, Lecture 11. Structural Proof Theory and Algebraic Logic

Seminars

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

	Calendar
	Search
	Add a seminar

	RSS
	Forthcoming seminars

Structural Proof Theory and Algebraic Logic
April 25, 2022 14:45–16:10, Moscow, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom

Lecture 11. Structural Proof Theory and Algebraic Logic

S. O. Speranski

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow

*Video records:*
	MP4	308.0 Mb

Number of views:
This page:	215
Video files:	65
Youtube:

S. O. Speranski

https://youtu.be/L3RR9DQCl-s

Contact us:

Registration to the website

© Steklov Mathematical Institute RAS, 2024