Hermes, Hans.

Enumerability . decidability . computability an introduction to the theory of recursive functions by Hans Hermes, tr. by G.T. Herman - 2nd - Berlin Springer-Verlag 1965 - x, 245p. - Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen Band Vol.127 .

76-89552

511.3 / N693;4