H. Hermes, Enumerability, Decidability, Computability. An Introduction to the Theory of Recursive Functions (Mathematischen Wissenschaften Band 127, Springer-Verlag, 1965), X + 245 Pp., DM39.
Proceedings of the Edinburgh Mathematical Society - United Kingdom
doi 10.1017/s0013091500012244
Full Text
Open PDFAbstract
Available in full text
Categories
Date
June 1, 1968
Authors
Publisher
Cambridge University Press (CUP)