Hermes, H. Enumerability – Decidability – Computability H. Hermes - Berlin-Heidelberg-New York Springer 1965