نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Computational logic and set theory applying formalized logic to analysis
پدید آورنده
Schwartz, Jacob T.,Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
موضوع
، Set theory
رده
QA
248
.
S364
2011
کتابخانه
كتابخانه و مركز اسناد دانشگاه كردستان
محل استقرار
استان:
کردستان
ـ شهر:
سنندج
تماس با کتابخانه :
33624006
-
087
شناسگر استاندارد دیگر
شماره استاندارد
1965
عنوان و نام پديدآور
نام نخستين پديدآور
Schwartz, Jacob T.
عنوان اصلي
Computational logic and set theory applying formalized logic to analysis
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London ;New York
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
c2011
مشخصات ظاهری
نام خاص و کميت اثر
xvii, 416 p. , 24 cm.
يادداشت کلی
متن يادداشت
Includes bibliographical references and index.
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Set theory
رده بندی کنگره
شماره رده
QA
248
.
S364
2011
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU .ocinemoD ,enotnaC
عنصر شناسه اي
AU .oineguE ,oedomO
عنصر شناسه اي
TI
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
لاه دیجیتانابخکت
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد