• الرئیسیة
  • البحث المتقدم
  • قائمة المکتبات
  • حول الموقع
  • اتصل بنا
  • نشأة

عنوان
A short introduction to intuitionistic logic

پدید آورنده

موضوع
Intuitionistic mathematics. ; Mathematiques intuitionnistes. ; Intuitionistic mathematics ; fast ; (OCoLC)fst00977860 ;

رده

کتابخانه
كتابخانه مركزي و مركز اسناد دانشگاه مازندران

محل استقرار
استان: مازندران ـ شهر: بابلسر

كتابخانه مركزي و مركز اسناد دانشگاه مازندران

تماس با کتابخانه : 62-35302861-011

oldebook38649

eng

A short introduction to intuitionistic logic

New York :
: Kluwer Academic / Plenum Publishers,
, 2000.

Print

Intuitionistic mathematics. ; Mathematiques intuitionnistes. ; Intuitionistic mathematics ; fast ; (OCoLC)fst00977860 ;

Mint?s, G. E. ;

old catalog

الاقتراح / اعلان الخلل

تحذیر! دقق في تسجیل المعلومات
ارسال عودة
تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال