Content deleted Content added
Corrected parentheses in the n+1 clause. |
m Robot - Moving category Recursion theory to Computability theory per CFD at Wikipedia:Categories for discussion/Log/2011 February 5. |
||
Line 41:
[[Category:Proof theory]]
[[Category:
|