6907
2817
Harmes, Hans
Enumerability, decidability, computability. An introduction to the theory of recursive functions
Berlin; New York
Springer-Verlag
1969
x, 245p
Die Grundlegren der mathematischen Wissenschaften in Einzeldarstellungan mit besonderer Berucksichtigung der Anwendungsgebiete, Bd.721
Translation of Aufzahlbarkeit, Entscheidbarkeit, Berechembarkeit
Includes bibliographies
translated by G.T.Hermann and O.Plassmann
2nd rev.ed.
، Recursive functions
، Algebraithms
، Godel's theorem
QA
248
.
5
.
H413
1969
AU
AU Hermann ,G.T. tr.
AU Plassmann, O. tr.
TI
SE
CL
CL
