نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
عنوان
Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers
پدید آورنده
Keisler, H. Jerome.
موضوع
، Infinitary languages,، Model theory
رده
QA
9
.
K33
کتابخانه
كتابخانه مركزی دانشگاه صنعتی شریف
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
66005817
-
021
شناسگر استاندارد دیگر
شماره استاندارد
39162
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
آخر۲۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20(
نام نخستين پديدآور
Keisler, H. Jerome.
عنوان اصلي
Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Amsterdam
نام ناشر، پخش کننده و غيره
North-Holland Pub. Co.
تاریخ نشرو بخش و غیره
1971
مشخصات ظاهری
نام خاص و کميت اثر
x, 208 p. 23 cm
فروست
عنوان فروست
Studies in logic and the foundations of mathematics, v. 26
يادداشت کلی
متن يادداشت
Bibliography: p. 193-203
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Infinitary languages
عنصر شناسه ای
، Model theory
رده بندی کنگره
شماره رده
QA
9
.
K33
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
)By( H. Jerome Keisler
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد