RUS  ENG
Full version
PEOPLE

Izbash Olga

Publications in Math-Net.Ru

  1. On the absence of finite approximation relative to model completeness in propositional provability logic

    Bul. Acad. Ştiinţe Repub. Mold. Mat., 2015, no. 3,  110–113


© Steklov Math. Inst. of RAS, 2024