شناسگر استاندارد دیگر
شماره استاندارد
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
