RUS
ENG
Full version
SEMINARS
L. D. Beklemishev, S. L. Kuznetsov. Computational proof theory and lambda calculus
April 21, 2020
, Steklov Mathematical Institute, room 530, 8 Gubkina St., Moscow, online
Лекция 19. Гёделевская система
$Т$
. Функциональная интерпретация интуиционистской арифметики в
$Т$
L. D. Beklemishev
https://youtu.be/gGRu_Zggjg4
©
Steklov Math. Inst. of RAS
, 2024
