RUS  ENG
Full version
PEOPLE

Carl Merlin

Publications in Math-Net.Ru

  1. On a Diophantine representation of the predicate of provability

    Zap. Nauchn. Sem. POMI, 407 (2012),  77–104

© Steklov Math. Inst. of RAS, 2026