RUS
ENG
Full version
PEOPLE
Izbash Olga
Publications in Math-Net.Ru
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