Enumerability: Decidability computability - Hermes Hans (Berlin Springer-Verlag, 1969)
Keywords: Mathematics