O. Plassmann

• Enumerability, Decidability, Computability