Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 3, Tome 72 (1964), pp. 69-98
Citer cet article
G. S. Tseitin. A method of presenting the theory of algorithms and enumerable sets. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 3, Tome 72 (1964), pp. 69-98. http://geodesic.mathdoc.fr/item/TM_1964_72_a3/
@article{TM_1964_72_a3,
author = {G. S. Tseitin},
title = {A~method of presenting the theory of algorithms and enumerable sets},
journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
pages = {69--98},
year = {1964},
volume = {72},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/TM_1964_72_a3/}
}
TY - JOUR
AU - G. S. Tseitin
TI - A method of presenting the theory of algorithms and enumerable sets
JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY - 1964
SP - 69
EP - 98
VL - 72
UR - http://geodesic.mathdoc.fr/item/TM_1964_72_a3/
LA - ru
ID - TM_1964_72_a3
ER -
%0 Journal Article
%A G. S. Tseitin
%T A method of presenting the theory of algorithms and enumerable sets
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1964
%P 69-98
%V 72
%U http://geodesic.mathdoc.fr/item/TM_1964_72_a3/
%G ru
%F TM_1964_72_a3
