Русу Андрей Георгевич

Публикации в базе данных 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
2. Infinitely many maximal primitive positive clones in a diagonalizable algebra
   
   Bul. Acad. Ştiinţe Repub. Mold. Mat., 2013, № 2-3,  47–52
3. Infinitely many functional pre-complete classes of formulas in the propositional provability intuitionistic logic
   
   Bul. Acad. Ştiinţe Repub. Mold. Mat., 2007, № 1,  66–72
4. О некоторых свойствах полных по выразимости систем формул в логике доказуемости Геделя–Леба
   
   Дискрет. матем., 12:4 (2000),  63–82