On algorithmical unsolvability of the word problem (1955)

by P Novikov
Venue:Trudy Mat. Inst. Akad. Nauk SSSR