New examples of undecidable theories
Algebra i logika, Tome 5 (1966) no. 5, pp. 37-47
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{AL_1966_5_5_a2,
author = {Yu. L. Ershov},
title = {New examples of undecidable theories},
journal = {Algebra i logika},
pages = {37--47},
publisher = {mathdoc},
volume = {5},
number = {5},
year = {1966},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_1966_5_5_a2/}
}
Yu. L. Ershov. New examples of undecidable theories. Algebra i logika, Tome 5 (1966) no. 5, pp. 37-47. http://geodesic.mathdoc.fr/item/AL_1966_5_5_a2/