• الرئیسیة
  • البحث المتقدم
  • قائمة المکتبات
  • حول الموقع
  • اتصل بنا
  • نشأة

عنوان
Higher recursion theory

پدید آورنده
Sacks, Gerald E.

موضوع
، Recursion theory

رده
QA
9
.
6
.
S23
1990

کتابخانه
كتابخانه مركزی دانشگاه صنعتی شریف

محل استقرار
استان: طهران ـ شهر: طهران

كتابخانه مركزی دانشگاه صنعتی شریف

تماس با کتابخانه : 66005817-021

97464
103657

آخر۲۷
English

)20(
Sacks, Gerald E.
Higher recursion theory

Berlin, New York
Springer-Verlag
1990

xv, 344 p. ; 25 cm

Perspectives in mathematical logic

Bibliography: p. )339(-341
Includes index

، Recursion theory

QA
9
.
6
.
S23
1990

AU
Gerald E. Sacks

TI
SE

02
02

الاقتراح / اعلان الخلل

تحذیر! دقق في تسجیل المعلومات
ارسال عودة
تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال