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/}
}
TY  - JOUR
AU  - G. S. Tseitin
TI  - An associative calculus with an insoluble problem of equivalence
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 1958
SP  - 172
EP  - 189
VL  - 52
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TM_1958_52_a5/
LA  - ru
ID  - TM_1958_52_a5
ER  - 
%0 Journal Article
%A G. S. Tseitin
%T An associative calculus with an insoluble problem of equivalence
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1958
%P 172-189
%V 52
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TM_1958_52_a5/
%G ru
%F 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/