Enumerability, decidability computability an introduction to the theory of recursive functions
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
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