Undecidability of certain theories
Algebra i logika, Tome 2 (1963) no. 5, pp. 37-41
@article{AL_1963_2_5_a3,
author = {Yu. L. Ershov and M. A. Taitslin},
title = {Undecidability of certain theories},
journal = {Algebra i logika},
pages = {37--41},
year = {1963},
volume = {2},
number = {5},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_1963_2_5_a3/}
}
Yu. L. Ershov; M. A. Taitslin. Undecidability of certain theories. Algebra i logika, Tome 2 (1963) no. 5, pp. 37-41. http://geodesic.mathdoc.fr/item/AL_1963_2_5_a3/