RUS  ENG
Full version
PEOPLE

Jäger Gerhard

Presentations in Math-Net.Ru

  1. Strict $\Pi^1_1$-reflection: A proof-theoretic perspective
    G. Jäger
    Logical Perspectives 2021: Conference
    June 10, 2021 17:30   

© Steklov Math. Inst. of RAS, 2024