Soare Robert I.. Recursively enumerable sets and degrees. A study of computable functions and computably generated sets. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1987, xviii + 437 pp.
Herrmann, Eberhard, Downey, RodneyVolume:
55
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2274994
Date:
March, 1990
File:
PDF, 352 KB
english, 1990