Enumerability, decidability, computability an introduction to the theory of recursive functions - Hermes, Hans (Springer-Verlag, 1965)
Description based on print version record