RUS  ENG
Full version
SEMINARS

Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
September 28, 2020 16:30, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)


Lecture 4. Circular proofs

S. L. Kuznetsov, D. S. Shamkanov


https://youtu.be/p4wFSsTYoqs


© Steklov Math. Inst. of RAS, 2024