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