TY - BOOK AU - Normann, Dag TI - Recursion on the countable Functionals SN - 0-387-10019-9 U1 - 510 PY - 1980/// CY - New York PB - Springer-Verlag berlin Heidelberg ER -