Editing Kleene's recursion theorem (section)

== References ==
* {{Cite book |last=Ershov |first=Yuri L. |author-link=Yury Yershov |date=1999 |chapter=Part 4: Mathematics and Computability Theory. 14. Theory of numbering |editor-last=Griffor |editor-first=Edward R. |title=Handbook of Computability Theory |series=Studies in logic and the foundations of mathematics |volume=140 |location=Amsterdam |publisher=[[Elsevier]] |pages=473–503 |isbn=9780444898821 |oclc=162130533 |access-date=6 May 2020 |url=https://books.google.com/books?id=KqeXZ4pPd5QC
}}
* {{Cite book |last=Jones |first=Neil D. |author-link=Neil D. Jones |date=1997 |title=Computability and complexity: From a Programming Perspective |location=[[Cambridge, Massachusetts]] |publisher=[[MIT Press]] |isbn=9780262100649 |oclc=981293265
}}
* {{Cite book |last=Kleene |first=Stephen C. |author-link=Stephen Cole Kleene |date=1952 |title=Introduction to Metamathematics |series=Bibliotheca Mathematica |publisher=[[North-Holland Publishing]] |isbn=9780720421033 |oclc=459805591 |url=https://archive.org/details/BubliothecaMathematicaStephenColeKleeneIntroductionToMetamathematicsWoltersNoordhoffPublishing1971 |access-date=6 May 2020
}}
* {{Cite book |last=Rogers |first=Hartley |author-link=Hartley Rogers Jr. |date=1967 |title=Theory of recursive functions and effective computability |location=[[Cambridge, Massachusetts]] |publisher=[[MIT Press]] |isbn=9780262680523 |oclc=933975989 |access-date=6 May 2020 |url-access=registration |url=https://archive.org/details/theoryofrecursiv00roge}}

'''Footnotes'''
{{reflist|refs=
<ref name=Kleene1938>{{Cite journal |last=Kleene |first=Stephen C. |author-link=Stephen Cole Kleene |date=1938 |title=On notation for ordinal numbers |journal=[[Journal of Symbolic Logic]] |volume=3 |issue=4 |pages=150–155 |issn=0022-4812 |doi=10.2307/2267778 |jstor=2267778 |s2cid=34314018 |access-date=6 May 2020 |url=http://www.thatmarcusfamily.org/philosophy/Course_Websites/Readings/Kleene%20-%20Ordinals.pdf}}</ref>

<ref name=Soare1987_88>{{Cite book |last=Soare |first=R.I. |author-link=Robert I. Soare |date=1987 |title=Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets|series=Perspectives in Mathematical Logic |location=Berlin and New York City |publisher=[[Springer-Verlag]] |page=88 |isbn=9780387152998 |oclc=318368332}}</ref>

<ref name=Cutland1980_204>{{Cite book |last=Cutland |first=Nigel J. |author-link=Nigel Cutland |date=1980 |title=Computability: An Introduction to Recursive Function Theory |publisher=[[Cambridge University Press]] |at=[https://books.google.com/books?id=wAstOUE36kcC&pg=PA204 p. 204] |isbn=9781139935609 |doi=10.1017/cbo9781139171496 |oclc=488175597 |access-date=6 May 2020 |url=https://books.google.com/books?id=wAstOUE36kcC}}</ref>

<ref name=BarendregtTerwijn2019_1151>{{Cite journal |last1=Barendregt |first1=Henk |author-link1=Henk Barendregt |last2=Terwijn |first2=Sebastiaan A. |date=2019 |title=Fixed point theorems for precomplete numberings |journal=Annals of Pure and Applied Logic |volume=170 |issue=10 |pages=1151–1161 |issn=0168-0072 |doi=10.1016/j.apal.2019.04.013 |hdl=2066/205967 |hdl-access=free |s2cid=52289429 |access-date=6 May 2020 |url-access=subscription |url=http://www.sciencedirect.com/science/article/pii/S016800721930048X }} p. 1151.</ref>
}}