Kleene, S. C. (1969). Formalized recursive functionals and formalized realizability. American Mathematical Society.
Chicago Style (17th ed.) CitationKleene, Stephen Cole. Formalized Recursive Functionals and Formalized Realizability. Providence, R.I.: American Mathematical Society, 1969.
MLA (9th ed.) CitationKleene, Stephen Cole. Formalized Recursive Functionals and Formalized Realizability. American Mathematical Society, 1969.
Warning: These citations may not always be 100% accurate.