RUS  ENG
Full version
SEMINARS

"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
March 19, 2013 18:30, Moscow, Steklov Mathematical Institute


On an arithmetically complete calculus for uniform reflection schemata

L. D. Beklemishev


© Steklov Math. Inst. of RAS, 2024