Doklady Akademii Nauk, Tome 185 (1969) no. 6, pp. 1232-1235
Citer cet article
Yu. T. Medvedev. A certain method of proof of unsolvability of algorithmic problems. Doklady Akademii Nauk, Tome 185 (1969) no. 6, pp. 1232-1235. http://geodesic.mathdoc.fr/item/DAN_1969_185_6_a7/
@article{DAN_1969_185_6_a7,
author = {Yu. T. Medvedev},
title = {A certain method of proof of unsolvability of algorithmic problems},
journal = {Doklady Akademii Nauk},
pages = {1232--1235},
year = {1969},
volume = {185},
number = {6},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1969_185_6_a7/}
}
TY - JOUR
AU - Yu. T. Medvedev
TI - A certain method of proof of unsolvability of algorithmic problems
JO - Doklady Akademii Nauk
PY - 1969
SP - 1232
EP - 1235
VL - 185
IS - 6
UR - http://geodesic.mathdoc.fr/item/DAN_1969_185_6_a7/
LA - ru
ID - DAN_1969_185_6_a7
ER -
%0 Journal Article
%A Yu. T. Medvedev
%T A certain method of proof of unsolvability of algorithmic problems
%J Doklady Akademii Nauk
%D 1969
%P 1232-1235
%V 185
%N 6
%U http://geodesic.mathdoc.fr/item/DAN_1969_185_6_a7/
%G ru
%F DAN_1969_185_6_a7
