Гуревич Юрий

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

1. Propositional primal logic with disjunction
   
   J. Logic Comput., 24:1 (2014),  257–282
2. Замечания к работе Р. Бергера о проблеме домино
   
   Сиб. матем. журн., 13:2 (1972),  459–463
3. Проблема разрешения проблем разрешения
   
   Алгебра и логика, 8:6 (1969),  640–642
4. Проблема разрешения для логики предикатов и операций
   
   Алгебра и логика, 8:3 (1969),  284–308
5. Наследственная неразрешимость одного класса структурно упорядоченных абелевых групп
   
   Алгебра и логика. Семинар, 6:1 (1967),  45–62
6. К элементарной теории структурно-упорядоченных абелевых групп и $K$-линеалов
   
   Докл. АН СССР, 175:6 (1967),  1213–1215
7. Проблема равенства слов для некоторых классов полугрупп
   
   Алгебра и логика. Семинар, 5:5 (1966),  25–35
8. Об эффективном распознавании выполнимости формул УИП
   
   Алгебра и логика. Семинар, 5:2 (1966),  25–55
9. Проблема разрешения для узкого исчисления предикатов
   
   Докл. АН СССР, 168:3 (1966),  510–511
10. К проблеме разрешения для чистого узкого исчисления предикатов
    
    Докл. АН СССР, 166:5 (1966),  1032–1034
11. Экзистенциальная интерпретация
    
    Алгебра и логика. Семинар, 4:4 (1965),  71–85
12. Элементарные свойства упорядоченных абелевых групп
    
    Алгебра и логика. Семинар, 3:1 (1964),  5–39
13. Универсальная эквивалентность упорядоченных абелевых групп
    
    Алгебра и логика. Семинар, 2:1 (1963),  37–39


14. Борис Абрамович Трахтенброт (к столетию со дня рождения)
    
    УМН, 77:1(463) (2022),  191–195
15. Михаил Абрамович Тайцлин (1936–2013)
    
    Сиб. электрон. матем. изв., 10 (2013),  54–65