B. A. Trahténbrot. Névozmožnost' algorifma dlá problémy razréšimosti na konéčnyh klassah (Impossibility of an algorithm for the decision problem in finite classes). Doklady Akademii Nauk SSSR, vol. 70 (1950), pp. 569–572.
Andrzej Włodzimierz Mostowski · Journal of Symbolic Logic · 1950
B. A. Trahténbrot. Névozmožnost' algorifma dlá problémy razréšimosti na konéčnyh klassah (Impossibility of an algorithm for the decision problem in finite classes). Doklady Akademii Nauk SSSR, vol. 70 (1950), pp. 569–572. - Volume 15 Issue 3