RUS
ENG
Full version
SEMINARS
October 15, 2018
16:30
Лекция 4. Исчисление секвенций в формате Тейта и теорема о полноте для него.
L. D. Beklemishev
,
F. N. Pakhomov
https://youtu.be/k-Lgn6RsGcQ
©
Steklov Math. Inst. of RAS
, 2024
