TY - BOOK AU - Hermes, Hans TI - Ennumerability, decidability, computability: and introduction to the theory of recursive functions PY - 1965/// CY - Berlin PB - Springer-Verlag KW - Mathematics ER -