Enumerability, decidability, computability: an introduction to th e theory of recursive functions - Hermes, Hans. (Berlin; New York: Springer-Verlag, 1965)
Includes bibliographies.
Keywords: Recursive functions