Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 4, Tome 93 (1967), pp. 50-88
Citer cet article
Yu. V. Matiyasevich. Simple examples of unsolvable canonical calculi. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 4, Tome 93 (1967), pp. 50-88. http://geodesic.mathdoc.fr/item/TM_1967_93_a3/
@article{TM_1967_93_a3,
author = {Yu. V. Matiyasevich},
title = {Simple examples of unsolvable canonical calculi},
journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
pages = {50--88},
year = {1967},
volume = {93},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/TM_1967_93_a3/}
}
TY - JOUR
AU - Yu. V. Matiyasevich
TI - Simple examples of unsolvable canonical calculi
JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY - 1967
SP - 50
EP - 88
VL - 93
UR - http://geodesic.mathdoc.fr/item/TM_1967_93_a3/
LA - ru
ID - TM_1967_93_a3
ER -
%0 Journal Article
%A Yu. V. Matiyasevich
%T Simple examples of unsolvable canonical calculi
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1967
%P 50-88
%V 93
%U http://geodesic.mathdoc.fr/item/TM_1967_93_a3/
%G ru
%F TM_1967_93_a3
