Козлов Г Т

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

1. Доказательство леммы о модельной полноте
   
   Алгебра и логика, 14:5 (1975),  533–535
2. Неразрешимость элементарной теории решеток подгрупп конечных абелевых $p$-групп
   
   Алгебра и логика, 9:2 (1970),  167–171
3. Элементарная теория абелевых групп без кручения с предикатом, выделяющим подгруппу
   
   Алгебра и логика, 8:3 (1969),  320–334
4. Расширенные элементарная и универсальная теории решеточно упорядоченных абелевых групп с конечным числом нитей
   
   Алгебра и логика, 7:1 (1968),  91–103