%0 Journal Article
%A V. D. Solov'ev
%T Completeness of systems of recursive functions and predicates.~II
%J Izvestiâ vysših učebnyh zavedenij. Matematika
%D 1989
%P 60-66
%N 9
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IVM_1989_9_a10/
%G ru
%F IVM_1989_9_a10