RUS  ENG
Full version
SEMINARS
Meetings of the Moscow Mathematical Society
February 28, 2012 18:30, Moscow, MSU, auditorium 16-24.

Алгебры доказуемости

L. D. Beklemishev

© Steklov Math. Inst. of RAS, 2024