intuitionistic higher order logic
منطق شهودی مرتبه بالاتر
مرتبه منطق
order of logic
ادات منطقی
logical connectives
higher order arithmetic
حساب مرتبه بالاتر
second order logic
منطق مرتبه دوم
نظریه انواع
type theory
منطق مرتبه بالاتر
higher order logic