A. Markov. Névozmožnost' algorifmov raspoznavaniá nékotoryh svojstv associativnyh sistém (Impossibility of algorithms for recognizing some properties of associative systems). Doklady Akadémii Nauk SSSR, vol. 77 (1951), pp. 953–956.
Andrzej Włodzimierz Mostowski · Journal of Symbolic Logic · 1952
A. Markov. Névozmožnost' algorifmov raspoznavaniá nékotoryh svojstv associativnyh sistém (Impossibility of algorithms for recognizing some properties of associative systems). Doklady Akadémii Nauk SSSR, vol. 77 (1951), pp. 953–956. - Volume 17 Issue 2