Content deleted Content added
Citation bot (talk | contribs) m Updating page numbers after recent improvement to Template:Cite book. Removed redundant parameters. |
+Category:Articles containing proofs |
||
Line 103:
==References==
* {{cite book
| last = Li
Line 119 ⟶ 118:
[[Category:Recursion theory]]
[[Category:Theory of computation]]
[[Category:Articles containing proofs]]
|