On a family of precomplete classes of recursive functions and predicates
Izvestiâ vysših učebnyh zavedenij. Matematika, no. 8 (1995), pp. 57-62
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{IVM_1995_8_a6,
author = {V. D. Solov'ev},
title = {On a family of precomplete classes of recursive functions and predicates},
journal = {Izvesti\^a vys\v{s}ih u\v{c}ebnyh zavedenij. Matematika},
pages = {57--62},
publisher = {mathdoc},
number = {8},
year = {1995},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/IVM_1995_8_a6/}
}
V. D. Solov'ev. On a family of precomplete classes of recursive functions and predicates. Izvestiâ vysših učebnyh zavedenij. Matematika, no. 8 (1995), pp. 57-62. http://geodesic.mathdoc.fr/item/IVM_1995_8_a6/