RUS  ENG
Full version
PEOPLE

Savateev Yurii Vaycheslavovich

Presentations in Math-Net.Ru

  1. Non-well-founded proofs for modal Grzegorczyk logic
    Yu. Savateev
    Workshop on Proof Theory, Modal Logic and Reflection Principles
    October 20, 2017 11:10   


© Steklov Math. Inst. of RAS, 2025