TY  - BOOK
AU  - Kleene S C
TI  - Formalised recursive functionals and formalized realizability
U1  - 510 
PY  - 1969///
CY  - N Y
PB  - AMS
KW  - Mathematics
ER  -