Unsolvability of theories of symmetric and simple finite groups. (English. Russian original) Zbl 0199.03004
Sov. Math., Dokl. 5, 1309-1311 (1964); translation from Dokl. Akad. Nauk SSSR 158, 777-779 (1964).