TY - BOOK AU - Normann Dag TI - Recursion on the countable functionals SN - 3-540-10019-9 U1 - 511.35 PY - 1980/// CY - Berlin PB - Springer-Verlag KW - Computable functions KW - Recursion theory ER -