Enumerability decidability computability an introduction to the theory of recursive functions
Hermes, Hans
Enumerability decidability computability - 2nd ed. - New York Springer-Verlag 1969 - x, 245p.
511.3 / N693
Enumerability decidability computability - 2nd ed. - New York Springer-Verlag 1969 - x, 245p.
511.3 / N693