فرمولهای پایدار در منطق شهودگرایانه
سیدمحمدجواد طاهری خرمآبادی
فرمولهای پایدار در منطق شهودگرایانه
طبع 1
قائمة
شناسنامه
المدخل الرئيسي
طاهری، محمدجواد، نویسندهالعنوان واسم المؤلف
فرمولهای پایدار در منطق شهودگرایانه / سیدمحمدجواد طاهری خرمآبادیالمواصفات الشكلية
61 ص.؛ مصور.الموضوع
جبر هيتينگHeyting algebra
منطق شهودگرايانه
Intuitionistic logic
دوگانی ایساکیا Easakia duality
فرمول هنجاروار Canonical formulas
اللغة
فارسی