Matematika, Tome 8 (1964) no. 5, pp. 15-22
Citer cet article
Martin Davis. Arithmetical problems and recursively enumerable predicates. Matematika, Tome 8 (1964) no. 5, pp. 15-22. http://geodesic.mathdoc.fr/item/MAT_1964_8_5_a1/
@article{MAT_1964_8_5_a1,
author = {Martin Davis},
title = {Arithmetical problems and recursively enumerable predicates},
journal = {Matematika},
pages = {15--22},
year = {1964},
volume = {8},
number = {5},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MAT_1964_8_5_a1/}
}
TY - JOUR
AU - Martin Davis
TI - Arithmetical problems and recursively enumerable predicates
JO - Matematika
PY - 1964
SP - 15
EP - 22
VL - 8
IS - 5
UR - http://geodesic.mathdoc.fr/item/MAT_1964_8_5_a1/
LA - ru
ID - MAT_1964_8_5_a1
ER -
%0 Journal Article
%A Martin Davis
%T Arithmetical problems and recursively enumerable predicates
%J Matematika
%D 1964
%P 15-22
%V 8
%N 5
%U http://geodesic.mathdoc.fr/item/MAT_1964_8_5_a1/
%G ru
%F MAT_1964_8_5_a1
