TY  - DATA
AU  - Kleene, Stephen Cole
TI  - Formalized recursive functionals and formalized realizability 
T2  - Memoirs of the American Mathematical Society, 
SN  - 9781470400385 (online)
PY  - 1969///
CY  - Providence, R.I.
PB  - American Mathematical Society
UR  - http://www.ams.org/memo/0089
ER  -