نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
The monadic second order theory of all countable ordinals
پدید آورنده
Buchi, J. Richard
موضوع
، Gنdel's theorem,، Model theory
رده
QA
3
.
L28
no
.
328
کتابخانه
كتابخانه مركزی دانشگاه صنعتي شريف
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
66005817
-
021
شناسگر استاندارد دیگر
شماره استاندارد
63419
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
بهار۹۸
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20(
نام نخستين پديدآور
Buchi, J. Richard
عنوان اصلي
The monadic second order theory of all countable ordinals
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
1973
مشخصات ظاهری
نام خاص و کميت اثر
vi, 217 p.: 26 cm
فروست
عنوان فروست
Decidable theories
عنوان فروست
Lecture notes in mathematics )Berlin(
شاپا ي ISSN فروست
2
شاپا ي ISSN فروست
328
يادداشت کلی
متن يادداشت
Includes bibliographies references
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Gنdel's theorem
عنصر شناسه ای
، Model theory
رده بندی کنگره
شماره رده
QA
3
.
L28
no
.
328
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
]by[ J. Richard Buchi ]and[ Dirk Siefkes
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU kriD ,sekfeiS joint author
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد