Enumerability, decidability, computability [Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Engl.]. An introd. to the theory of recursive functions - Hermes, Hans (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, 1965)