Hermes, Hans.

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

76-89552

511.3 / N693;3