%0 Journal Article
%A Martin Davis
%T Arithmetical problems and recursively enumerable predicates
%J Matematika
%D 1964
%P 15-22
%V 8
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAT_1964_8_5_a1/
%G ru
%F MAT_1964_8_5_a1