RUS
ENG
Full version
SEMINARS
Globus Seminar
February 16, 2012
15:40
, Moscow, IUM (Bolshoi Vlas'evskii per., 11)
Provability algebras
L. D. Beklemishev
Steklov Mathematical Institute, Russian Academy of Sciences
©
Steklov Math. Inst. of RAS
, 2024
