intuitionistic second order logic
منطق شهودی مرتبه دوم
منطق مرتبه بالاتر
higher order logic
intuitionistic logic
منطق شهودگرایانه
intuitionistic higher order logic
منطق شهودی مرتبه بالاتر