Enumerability, decidability and computability
Subtitle: an introduction to the theory of recursive functions
By: translated by G. T. Herman and O. Plassmann.
Place of publication: New York
Notes: 6