Alpha recursion theory: Difference between revisions

Content deleted Content added
m Typo/accessdate/date fixes, typos fixed: it it → it using AWB
References: rm template
Line 27:
* Gerald Sacks, ''Higher recursion theory'', Springer Verlag, 1990
* Robert Soare, ''Recursively Enumerable Sets and Degrees'', Springer Verlag, 1987
 
{{Logic}}
 
[[Category:Recursion theory]]