TY  - JOUR
AU  - V. D. Solov'ev
TI  - Completeness of systems of recursive functions and predicates.~I
JO  - Izvestiâ vysših učebnyh zavedenij. Matematika
PY  - 1989
SP  - 56
EP  - 63
IS  - 8
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IVM_1989_8_a8/
LA  - ru
ID  - IVM_1989_8_a8
ER  -