×
نام و نام خانوادگی
بازخوانی ...











































با انتخاب این گزینه تنها در محتواهایی که تاریخ انتشار دارند جستجو خواهد شد.
  • The ∑ 1-Provability Logic of Intuitionistic Arithmetic
منطق اثبات پذيري - منطق پايه - خاصيت دويانگ - حساب شهودي
مجتبي مجتهدي - محمد اردشير
کتاب راهنما
دانشگاه شریف
  • مباني فلسفي منطق شهودگرايي از نظر دامت
منطق شهودگرايي - استنتاج - نظريه دامت - معني
رامبد. كاغذچي - اردشير، محمد، دكتر
دانشگاه شریف
  • مباني فلسفي شهودگرايي از ديدگاه براؤر
دنباله انتخاب - اثبات - شهود گرايي - ساخت - اصل طرد شق ثالث - رياضيات شهودگرايانه
مهرنوش. صدرزاده - اردشير، محمد، دكتر
دانشگاه شریف
  • مطالعه حساب شهودگرايي بوسيله ي مدل هاي كريپكي
مدل هاي كريپكي - عملگر بوس - حساب شهودي
سيد مجتبي. مجتهدي - اردشير، محمد، دكتر
دانشگاه شریف
  • المنطق .فارسي
منطق - منطق‏‫--پرسش‌ها و پاسخ‌ها (متوسطه)‬
مظفر، محمدرضا، ۱۹۰۴-۱۹۶۴م‌. - Muhammad Rida Muzaffar
catalog
کتابخانه دیجیتالی دانشگاه علامه طباطبایی (ره)
  • المنطق .فارسي
منطق
مظفر، محمدرضا، ۱۹۰۴-۱۹۶۴م‌. - Muhammad Rida Muzaffar
catalog
کتابخانه دیجیتالی دانشگاه علامه طباطبایی (ره)
  • منطق
پزشكان - روانشناسي - فاضل توني، محمدحسين، 1259-1339 - سرگذشتنامه
مهناز رئيس زاده - محمد حسين فاضل توني - محمد خوانساري
کتاب
فارسي
کتابخانه دیجیتالی دانشگاه تهران
  • منطق
منطق - فاضل‌توني٬ محمدحسين٬ ۱۲۵۹-۱۳۳۹.-سرگذشتنامه
فاضل‌توني٬ محمدحسين٬ ۱۲۵۹-۱۳۳۹
catalog
کتابخانه دیجیتالی كتابخانه، موزه و مرکز اسناد مجلس شورای اسلامی
  • منطق
پزشكان - روانشناسي - منطق - راهنماي آموزشي
محسن غرويان - غلامرضا فياضي - محمدرضا مظفر - علي شيرواني
کتاب
فارسي
کتابخانه دیجیتالی دانشگاه تهران
  • Logic : a very short introduction, 2000
منطق
گراهام پريست - بهرام اسديان
کتاب
فارسي
کتابخانه دیجیتالی دانشگاه تهران
  • منطق
كتاب درسي
کتاب
فارسي
مجمع ذخایر اسلامی (کدنا)
  • منطق
catalog
کتابخانه دیجیتالی كتابخانه، موزه و مرکز اسناد مجلس شورای اسلامی
  • منطق
catalog
کتابخانه دیجیتالی كتابخانه، موزه و مرکز اسناد مجلس شورای اسلامی
  • منطق
منطق
نسخه خطی
فارسي
مجمع ذخایر اسلامی (کدنا)
  • منطق
منطق
Graham‬ ‭Priest - پريست، گراهام، ‭ ۱۹۴۸ ‬-م
catalog
کتابخانه دیجیتالی دفتر تبلیغات اسلامی حوزه علمیه قم
  • منطق
منطق
مظفر، محمدرضا، ۱۹۰۴-۱۹۶۴
catalog
کتابخانه دیجیتالی كتابخانه، موزه و مرکز اسناد مجلس شورای اسلامی
  • منطق
منطق
مظفر، محمدرضا، ۱۹۰۴-۱۹۶۴
catalog
کتابخانه دیجیتالی كتابخانه، موزه و مرکز اسناد مجلس شورای اسلامی
  • منطق
منطق
مظفر، محمدرضا، ۱۹۰۴-۱۹۶۴
catalog
کتابخانه دیجیتالی كتابخانه، موزه و مرکز اسناد مجلس شورای اسلامی
  • منطق
ناصرالدين صاحب الزماني
مقاله
مرکز دایره المعارف بزرگ اسلامی
  • منطق
منطق
مصطفي طاهرزاده - محمد سنگلجي
کتاب
فارسي
کتابخانه دیجیتالی دانشگاه تهران
  • تعداد رکورد ها : 6024

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



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