Kleene, S. C. (1969). Formalized recursive functionals and formalized realizability. American Mathematical Society.
Chicago-Zitierstil (17. Ausg.)Kleene, Stephen Cole. Formalized Recursive Functionals and Formalized Realizability. Providence, RI: American Mathematical Society, 1969.
MLA-Zitierstil (9. Ausg.)Kleene, Stephen Cole. Formalized Recursive Functionals and Formalized Realizability. American Mathematical Society, 1969.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.