عنوان
پدید آورنده
موضوع
رده
QA 248 .5 .H413 1969
QA
248
.
5
.
H413
1969
کتابخانه
محل استقرار
28687
آخر۲۷
English
)20(
Hermes, Hans.
Enumerability, decidability, computability. An introduction to the theory of recursive functions
Berlin, New York
Springer
1969
x, 245 p.; 24 cm
Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berغucksichtigung der Anwendungsgebiete, Bd. 721
Translation of Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit
Includes bibliographies
2d rev. ed
، Recursive functions
، Algorithms
، Godel's theorem
QA
248
.
5
.
H413
1969
AU
Translated by G. T. Hermann and O. Plassmann
TI
SE
02
