Hermes, Hans.

Enumerability, decidability, computability: An introduction to the theory of recursive fucntions. by Hans Hermes ; t ranslated by G T Hermann and O Plassman. - 2nd ed. - Berlin. Springer-verlag. 1969 - x,245p.; 24cm.

511.8 / HER