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