Enumerability.Decidability Computability - Hermes,Hans (Springer-Verlag, 1965)