Gurevich, Yu. Sh. A decision problem for decision problems. (Russian) Zbl 0211.31302 Algebra Logika 8, 640-642 (1969). MSC: 03D25 PDFBibTeX XMLCite \textit{Yu. Sh. Gurevich}, Algebra Logika 8, 640--642 (1969; Zbl 0211.31302)
Gurevich, Yu. Sh. The decision problem for the logic of predicates and of operations. (Entscheidbarkeitsproblem für die Prädikaten- und Operatorenlogik.) (Russian) Zbl 0198.32501 Algebra Logika 8, 284-308 (1969). Reviewer: Yu. Sh. Gurevich MSC: 03B25 PDFBibTeX XMLCite \textit{Yu. Sh. Gurevich}, Algebra Logika 8, 284--308 (1969; Zbl 0198.32501)
Gurevich, Yu. Sh. Erbliche Unentscheidbarkeit einer Klasse von verbandsgeordneten Abelschen Gruppen. (Russian) Zbl 0165.31803 Algebra Logika 6, No. 1, 45-61 (1967). PDFBibTeX XMLCite \textit{Yu. Sh. Gurevich}, Algebra Logika 6, No. 1, 45--61 (1967; Zbl 0165.31803)
Gurevich, Yu. Sh. Über eine effektive Erkennung der Erfüllbarkeit der Formeln des engeren Prädikatenkalküls. (Russian) Zbl 0198.32403 Algebra Logika 5, No. 2, 25-55 (1966). Reviewer: Yu. Sh. Gurevich MSC: 03-XX PDFBibTeX XMLCite \textit{Yu. Sh. Gurevich}, Algebra Logika 5, No. 2, 25--55 (1966; Zbl 0198.32403)
Gurevich, Yu. Sh. Das Problem der Gleichheit der Wörter für einige Halbgruppenklassen. (Russian) Zbl 0178.32501 Algebra Logika 5, No. 5, 25-35 (1966). PDFBibTeX XMLCite \textit{Yu. Sh. Gurevich}, Algebra Logika 5, No. 5, 25--35 (1966; Zbl 0178.32501)
Gurevich, Yu. S. Existentielle Interpretation. (Russian) Zbl 0294.02023 Algebra Logika 4, No. 4, 71-85 (1965). MSC: 03B25 03C60 03D25 20A10 06A06 06B05 13L05 PDFBibTeX XMLCite \textit{Yu. S. Gurevich}, Algebra Logika 4, No. 4, 71--85 (1965; Zbl 0294.02023)
Gurevich, Yu. Sh.; Kokorin, A. I. Universelle Äquivalenz Abelscher Gruppen. (Russian) Zbl 0192.04104 Algebra Logika 2, No. 1, 37-39 (1963). PDFBibTeX XMLCite \textit{Yu. Sh. Gurevich} and \textit{A. I. Kokorin}, Algebra Logika 2, No. 1, 37--39 (1963; Zbl 0192.04104) Full Text: EuDML