Izbash Olga

Публикации в базе данных 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, № 3,  110–113