نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
عنوان
Intuitionism; an introduction
پدید آورنده
Heyting, Arend
موضوع
، Logic, symbolic and mathematical,، Mathematics-- Methodology
رده
QA
9
.
H4
کتابخانه
كتابخانه مركزی دانشگاه صنعتی شریف
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
66005817
-
021
شناسگر استاندارد دیگر
شماره استاندارد
14661
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
آخر۲۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)10(
نام نخستين پديدآور
Heyting, Arend
خط فهرست نويسي و خط اصلي شناسه
1898-
عنوان اصلي
Intuitionism; an introduction
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Amsterdam
نام ناشر، پخش کننده و غيره
North- Holland Pub. Co.
تاریخ نشرو بخش و غیره
1966
مشخصات ظاهری
نام خاص و کميت اثر
viii, 136p. 23cm
فروست
عنوان فروست
Studies in logic and the foundations of mathematics
يادداشت کلی
متن يادداشت
Includes bibliography
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Logic, symbolic and mathematical
عنصر شناسه ای
، Mathematics-- Methodology
رده بندی کنگره
شماره رده
QA
9
.
H4
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
]2d ed.[
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
01
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد