Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1961_138_4_a7, author = {A. I. Mal'tsev}, title = {The undecidability of the elementary theory of finite groups}, journal = {Doklady Akademii Nauk}, pages = {771--774}, publisher = {mathdoc}, volume = {138}, number = {4}, year = {1961}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1961_138_4_a7/} }
A. I. Mal'tsev. The undecidability of the elementary theory of finite groups. Doklady Akademii Nauk, Tome 138 (1961) no. 4, pp. 771-774. http://geodesic.mathdoc.fr/item/DAN_1961_138_4_a7/