عنوان
پدید آورنده
موضوع
رده
515 .25 S989 1972
515
.
25
S989
1972
کتابخانه
محل استقرار
شماره کتابشناسی ملی
شماره
211749
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Generalized recursion theory; proceedings of the 1972 Oslo Symposium
نام عام مواد
[book]
نام نخستين پديدآور
/ edited by J. E. Fenstad and P. G. Hinman
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
: American Elsevier Pub.,Co.
تاریخ نشرو بخش و غیره
، 1974, 1974
مشخصات ظاهری
نام خاص و کميت اثر
viii, 456 p
فروست
عنوان فروست
Studies in logic and the foundations of mathematics, v. 79
يادداشت کلی
متن يادداشت
Includes 12 papers from the Symposium Bibliography: p. 445-451 also includes bibliographies
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Recursive functions
رده بندی ديویی
شماره
515
.
25
S989
1972
نام شخص - (مسئولیت معنوی برابر )
عنصر شناسه اي
Fenstad, Jens Erik
عنصر شناسه اي
Hinman, Peter G.
کد نقش
creator
کد نقش
creator
شناسه افزوده (تنالگان)
عنصر شناسه اي
Symposium on Generalized Recursion Theory, Oslo, 1972
تقسيم فرعي
author
مبدا اصلی
کشور
ایران
شماره دستیابی
شماره بازیابی
515 .25 S989 1972
وضعیت فهرست نویسی
وضعیت فهرست نویسی
Previous cataloging
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
تكميل شده
Y
