فرمولهای پایدار در منطق شهودگرایانه
سیدمحمدجواد طاهری خرمآبادی
فرمولهای پایدار در منطق شهودگرایانه
Edition 1
list
شناسنامه
Main Entry
طاهری، محمدجواد، نویسندهTitle and Author
فرمولهای پایدار در منطق شهودگرایانه / سیدمحمدجواد طاهری خرمآبادیPhysical Description
61 ص.؛ مصور.Subject
جبر هيتينگHeyting algebra
منطق شهودگرايانه
Intuitionistic logic
دوگانی ایساکیا Easakia duality
فرمول هنجاروار Canonical formulas
Language
فارسی