Hermes, Hans.

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

76-89552

511.3 / N693;5