Content deleted Content added
m Robot: tagging uncategorised page |
Adding categories |
||
Line 26:
* Gerald Sacks, Higher recursion theory, Springer Verlag, 1990
* Robert Soare, Recursively Enumerable Sets and Degrees, Springer Verlag, 1987
{{Logic}}
[[Category:Recursion theory|*]]
[[Category:Mathematical logic|*R]]
|