Author:
Bazhenov N. A.,Mustafa M.,Ospichev S. S.
Reference40 articles.
1. Muchnik A. A.,
“Isomorphism of systems of recursively enumerable sets with effective properties,”
Tr. Mosk. Mat. Obs., vol. 7, 407–412 (1958).
2. Smullian R. M.,
Theory of Formal Systems, Princeton Univ., Princeton (1961).
3. Cleave J. P.,
“Creative functions,”
Z. Math. Logik Grundl. Math., vol. 7, no. 3, 205–212 (1961).
4. Lachlan A. H.,
“Effective inseparability for sequences of sets,”
Proc. Amer. Math. Soc., vol. 16, no. 4, 647–653 (1965).
5. Ershov Yu. L.,
The Theory of Enumerations [Russian], Nauka, Moscow (1977).