Literature cited
W. Hanf, “Model-theoretic methods in the study of elementary logic,” Proceedings of 1963 International Symposium on Theory of Models at Berkeley, North Holland Publ. Co., Amsterdam (1965).
A. I. Mal'tsev, Algorithms and Recursive Functions, Nauka (1965).
Additional information
Translated from Algebra i Logika, Vol. 8, No. 6, pp. 640–642, November–December, 1969.
Rights and permissions
About this article
Cite this article
Gurevich, Y.S. A decision problem for decision problems. Algebr Logic 8, 362–363 (1969). https://doi.org/10.1007/BF02219647
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02219647