نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
درباره پایگاه
ارتباط با ما
تاریخچه
ورود / ثبت نام
عنوان
Principles of intuitionism :
پدید آورنده
A. S. Troelstra.
موضوع
Intuition.,Logic, Symbolic and mathematical.
رده
کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
32910706
-
025
شابک
شابک
9783540046141
شماره کتابشناسی ملی
شماره
b406505
عنوان و نام پديدآور
عنوان اصلي
Principles of intuitionism :
نام عام مواد
[Book]
ساير اطلاعات عنواني
lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y.
نام نخستين پديدآور
A. S. Troelstra.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
1969.
مشخصات ظاهری
نام خاص و کميت اثر
111 p. ;
ابعاد
28 cm.
فروست
عنوان فروست
Lecture notes in mathematics (Springer-Verlag) ;
شاپا ي ISSN فروست
95
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Bibliography: p. 109-111.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Intuition.
موضوع مستند نشده
Logic, Symbolic and mathematical.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Troelstra, A. S., (Anne Sjerp)
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
SpringerLink (Online service)
مبدا اصلی
تاريخ عمليات
20110606103310.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب
اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد