Семинары: Л. Д. Беклемишев, Лекция 19. Гeделевская система $Т$. Функциональная интерпретация интуиционистской арифметики в $Т$

СЕМИНАРЫ


Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 21 апреля 2020 г., г. Москва, online

Лекция 19. Гёделевская система $Т$. Функциональная интерпретация интуиционистской арифметики в $Т$ Л. Д. Беклемишев
https://youtu.be/gGRu_Zggjg4