×
نام و نام خانوادگی
بازخوانی ...
اطلاعات کتابشناختی
عنوان اصلی: نظريه ساختي مجموعه ها
عنوان: Constructive Set Theories
پدیدآورندگان : راحله جلالي كشاورز (پديدآور)
محمد اردشير (پديدآور)
نوع : متن
جنس : کتاب راهنما
چاپ
صاحب محتوا :

دانشگاه شریف

توصیفگر : نظريه مارتين لوف
منطق شهودگرايي
نظريه مجموعه هاي ساختي
نظريه شهودگرايانه مجموعه ها
نظريه مجموعه هاي كلاسيك
وضعیت نشر : صنعتي شريف ، 1392
مشخصات فیزیکی : 132ص.: جدول، نمودار، کتابنامه؛ چکیده به فارسی و انگلیسی
یادداشت :
Sharif Repository
شناسه : oai:library.sharif.ir/399555
تاریخ ایجاد رکورد : 1393/3/13
تاریخ تغییر رکورد : 1396/11/11
قیمت شيء دیجیتال : 0 ریال

در حال حاضر امکان دانلود از این صاحب محتوا وجود ندارد.

* محتوای این صفحه توسط کارشناسان این درگاه ویرایش نشده است. لطفا در صورت مشاهده ایراد در محتوا از این طریق اطلاع رسانی کنید.

دیدگاه شما

تست
ورود به درگاه کنسرسیوم
Loding



رمز عبور خود را فراموش کرده ام.
چنانچه تا کنون عضو سایت نشده اید ثبت نام کنید.
درباره کنسرسیوم
ما مجموعه‌ای از كتابخانه‌ها و سازمان‌های دارای منابع اطلاعاتی (کتاب، نشریه، نسخه‌های خطی، عکس، صدا، فیلم و... ) هستیم که با هدف تامین نیازهای پژوهشگران و شهروندان ایرانی برای دسترسی هر چه سریع‌تر به محتوای مورد نظر خود، کنسرسیوم محتوای ملی را تشکیل داده‌ایم. برای رسیدن به این هدف، قصد داریم با بسترسازی مناسب و جلب مشارکت دیگر تولید کنندگان محتوا به گرد آوری، تبدیل، سازماندهی و حفاظت اطلاعات به شکل رقومی و در سطح ملی، بپردازیم.