منطق محمولی شهودی
intuitionistic predicate logic
intuitionistic logic
منطق شهودگرایانه
predicate logic
منطق محمولات