|
Arithmetical representation of recursively enumerable sets
Raphael M. Robinson
Citation:
Raphael M. Robinson, “Arithmetical representation of recursively enumerable sets”, Matematika, 8:5 (1964), 23–48; J. Symb. Logic, 21 (1956), 162–186
Linking options:
https://www.mathnet.ru/eng/mat326 https://www.mathnet.ru/eng/mat/v8/i5/p23
|
|