H. Hermes, Enumerability, Decidability, Computability. An Introduction to the Theory of Recursive Functions (Mathematischen Wissenschaften Band 127, Springer-Verlag, 1965), x + 245 pp., DM39.
Review products
H. Hermes, Enumerability, Decidability, Computability. An Introduction to the Theory of Recursive Functions (Mathematischen Wissenschaften Band 127, Springer-Verlag, 1965), x + 245 pp., DM39.
Published online by Cambridge University Press:
20 January 2009
An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.