Seminars: L. D. Beklemishev, Лекция 15. Интуиционистское исчисление предикатов. Гильбертовский и генценовский формат. Теорема об устранении сечения. Дизъюнктивное и экзистенциальное свойства интуиционистской логики.

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

L. D. Beklemishev, S. L. Kuznetsov. Computational proof theory and lambda calculus
March 23, 2020 16:30, Steklov Mathematical Institute, room 530, 8 Gubkina St., Moscow

Лекция 15. Интуиционистское исчисление предикатов. Гильбертовский и генценовский формат. Теорема об устранении сечения. Дизъюнктивное и экзистенциальное свойства интуиционистской логики.

L. D. Beklemishev

*Video records:*
	MP4	1,485.1 Mb
	MP4	3,049.9 Mb

Number of views:
This page:	386
Video files:	90
Youtube:

https://youtu.be/JauIZFrs2hQ

Registration to the website

Logotypes