Content deleted Content added
Closing stale April merge proposal; no case made, no support over many months |
Thatsme314 (talk | contribs) |
||
Line 58:
*E. Post, 1944, "Recursively enumerable sets of positive integers and their decision problems", ''Bulletin of the American Mathematical Society'', volume 50, pages 284–316.
* H. Rogers, Jr., 1967. ''The Theory of Recursive Functions and Effective Computability'', second edition 1987, MIT Press. {{isbn|0-262-68052-1}} (paperback), {{isbn|0-07-053522-1}}
* G. Sacks, 1990. ''Higher Recursion Theory'', Springer-Verlag. {{isbn|3-540-19305-7}}
[[Category:Reduction (complexity)| ]]
| |||