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

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
https://youtu.be/JauIZFrs2hQ