RUS  ENG
Full version
VIDEO LIBRARY
Mathematical Logic, Algebra and Computation: A two-day conference dedicated to 85-th anniversary of S. I. Adian
July 19, 2016 11:00, Moscow, Steklov Mathematical Institute of RAS, Gubkina, 8

Positive provability logic and reflection calculus

L. D. Beklemishev



© Steklov Math. Inst. of RAS, 2024