Enumerability, decidability, computability;
Subtitle: An introduction to the theory of recursive functions
Publisher: Springer-Verlag
Published: 1965-01-01