higher order arithmetic
preferred label: حساب مرتبه بالاتر @fa
type: Concept
narrower: second order arithmetic

second order arithmetic
broader: higher order arithmetic
preferred label: حساب مرتبه دوم @fa
type: Concept