Content deleted Content added
m Robot - Moving category Recursion theory to Computability theory per CFD at Wikipedia:Categories for discussion/Log/2011 February 5. |
|||
Line 58:
* G Sacks, 1990. ''Higher Recursion Theory'', Springer-Verlag. ISBN 3-540-19305-7
[[Category:
|