عنوان
پدید آورنده
موضوع
رده
QA 248.5 .H413 1969
QA
248
.
5
.
H413
1969
کتابخانه
محل استقرار
Enumerability decidability computability : an introduction to the theory of recursive functions
Berlin
Springer-Verlag
c1969
x, 245p
Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit Besonderer...; Bd.721
Translation of: Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit
Includes bibliographies
Hans Hermes; translated by G.T. Hermann and O. Plassmann
1
، Recursive functions
، Algorithms
، Godel's theorem
QA
248
.
5
.
H413
1969
Hermes, Hans
AU
TI
SE Grundlehren der mathematischen Wissenschaften 127
