Formalized recursive functionals and formalized realizability/
Kleene, Stephen Cole 1909-1994
Formalized recursive functionals and formalized realizability/ by S. C. Kleene. - Providence, R.I.: American Mathematical Society, 1969. - 106 p.: 26 cm. - Memoirs of the American Mathematical Society; no. 89 .
Cover title.
Bibliography: p. 104-106.
Recursive functions
Formalized recursive functionals and formalized realizability/ by S. C. Kleene. - Providence, R.I.: American Mathematical Society, 1969. - 106 p.: 26 cm. - Memoirs of the American Mathematical Society; no. 89 .
Cover title.
Bibliography: p. 104-106.
Recursive functions