An associative calculus with an insoluble problem of equivalence
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 1, Tome 52 (1958), pp. 172-189
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{TM_1958_52_a5,
author = {G. S. Tseitin},
title = {An associative calculus with an insoluble problem of equivalence},
journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
pages = {172--189},
publisher = {mathdoc},
volume = {52},
year = {1958},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/TM_1958_52_a5/}
}
G. S. Tseitin. An associative calculus with an insoluble problem of equivalence. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 1, Tome 52 (1958), pp. 172-189. http://geodesic.mathdoc.fr/item/TM_1958_52_a5/