Enumerability decidability computability an introduction to the theory of recursive functions - Hermes, Hans; Herman, G. T. [Tr.]; Plassmann, O. [Tr.] (Berlin Springer Verlag, 1965)
Keywords: Computability; Enumerability decidability