TY - BOOK AU - Hermes, Hans AU - Herman, G. T. [Tr.] AU - Plassmann, O. [Tr.] TI - Enumerability decidability computability: an introduction to the theory of recursive functions U1 - 164 PY - 1965/// CY - Berlin PB - Springer Verlag KW - Computability KW - Enumerability decidability ER -