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