RUS  ENG
Full version
SEMINARS
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
September 7, 2020 16:00, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

Лекция 1. Циклические выводы в логике Гёделя-Лёба

D. S. Shamkanov


https://youtu.be/xEjr49lO6LU

© Steklov Math. Inst. of RAS, 2024