This little gem is stated unbilled and proved (completely) in the last two lines of 2 of the short note Kleene (1938). © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Moschovakis, Y. N. (2009). Kleene’s amazing second recursion theorem (Extended abstract). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5771 LNCS, pp. 24–39). https://doi.org/10.1007/978-3-642-04027-6_5
Mendeley helps you to discover research relevant for your work.