Gurevich Yuri

Publications in Math-Net.Ru

1. Propositional primal logic with disjunction
   
   J. Logic Comput., 24:1 (2014),  257–282
2. A remark on R. Berger's work on the domino problem
   
   Sibirsk. Mat. Zh., 13:2 (1972),  459–463
3. The problem of the solution of problems of solution
   
   Algebra Logika, 8:6 (1969),  640–642
4. The problem of reduction for the logic of predicates and operations.
   
   Algebra Logika, 8:3 (1969),  284–308
5. The hereditarily undecidability of one class of lattice-ordered Abelian groups
   
   Algebra i Logika. Sem., 6:1 (1967),  45–62
6. On the elementary theory of lattice-ordered abelian groups and $K$-lineals
   
   Dokl. Akad. Nauk SSSR, 175:6 (1967),  1213–1215
7. The problem of equality of words for certain classes of semigroups
   
   Algebra i Logika. Sem., 5:5 (1966),  25–35
8. Effective recognition of realizability of formulae of the restricted predicate calculus
   
   Algebra i Logika. Sem., 5:2 (1966),  25–55
9. Solvability problem for a restricted predicate calculus
   
   Dokl. Akad. Nauk SSSR, 168:3 (1966),  510–511
10. On the decision problem for pure narrow calculus of predicates
    
    Dokl. Akad. Nauk SSSR, 166:5 (1966),  1032–1034
11. Existential interpretation
    
    Algebra i Logika. Sem., 4:4 (1965),  71–85
12. Elementary properties of ordered Abelian groups
    
    Algebra i Logika. Sem., 3:1 (1964),  5–39
13. Universal equivalence of ordered Abelian groups
    
    Algebra i Logika. Sem., 2:1 (1963),  37–39


14. Boris Abramovich Trakhtenbrot (on the centenary of his birth)
    
    Uspekhi Mat. Nauk, 77:1(463) (2022),  191–195
15. Mikhail Abramovich Taitslin (1936–2013)
    
    Sib. Èlektron. Mat. Izv., 10 (2013),  54–65