عنوان
پدید آورنده
موضوع
رده
QA 248 .5 .H4 1971
QA
248
.
5
.
H4
1971
کتابخانه
محل استقرار
29635
آخر۲۷
English
)20(
Hermes, Hans.
Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
Berlin, New York
Springer-Verlag
1971
x, 246 p.; 21 cm
Heidelberger Taschenbucher, Bd. 78
Includes bibliographies
2. Aufl
، Recursive functions
، Algorithms
، Godel's theorem
، Computable functions
QA
248
.
5
.
H4
1971
AU
TI
02
