Лютикова Е Е

Публикации в базе данных Math-Net.Ru

1. О категоричности конечно-порожденных алгебраических систем в $\mathbf{HF}$-логике
   
   Алгебра и логика, 34:1 (1995),  12–32