RUS  ENG
Full version
SEMINARS

Seminars "Proof Theory" and "Logic Online Seminar"
April 6, 2020 18:30, Moscow, online


Goodstein principles of intermediate strength

D. Fernández-Duque


https://youtu.be/KEgxgK6nzMs


© Steklov Math. Inst. of RAS, 2024