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



##2.

##1.

© Steklov Math. Inst. of RAS, 2024