Enumerability, decidability, computability : an introduction to the theory of recursive functions - Hermes, Hans (Springer, 1969)
Μετάφραση του : Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.