[Lecture Notes in Mathematics] Logic Year 1979–80 Volume 859 || The plus-cupping theorem for the recursively enumerable degrees
Lerman, Manuel, Schmerl, James H., Soare, Robert I.Volume:
10.1007/BF
Year:
1981
Language:
english
DOI:
10.1007/bfb0090938
File:
PDF, 780 KB
english, 1981