RUS
ENG
Full version
SEMINARS
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
September 14, 2020
16:30
, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
Лекция 2. Доказуемостная интерпретация логики Гёделя-Лёба
D. S. Shamkanov
https://youtu.be/LUwst2jzHLE
©
Steklov Math. Inst. of RAS
, 2024