Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1964_158_4_a5, author = {Yu. L. Ershov}, title = {Undecidability of the theories of symmetric and simple finite groups}, journal = {Doklady Akademii Nauk}, pages = {777--779}, publisher = {mathdoc}, volume = {158}, number = {4}, year = {1964}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1964_158_4_a5/} }
Yu. L. Ershov. Undecidability of the theories of symmetric and simple finite groups. Doklady Akademii Nauk, Tome 158 (1964) no. 4, pp. 777-779. http://geodesic.mathdoc.fr/item/DAN_1964_158_4_a5/