Enumerability Decidability Computability - Hermes Hans (New York Springer Verlag, 1969)