Impossibility of algorithms for recognizing some properties of associative systems (1951)

by A Markov
Venue:Doklady Adakemii Nauk SSSR