first order logic
preferred label: منطق مرتبه اول @fa
type: Concept
related: first order arithmetic

Robinson arithmetic
preferred label: حساب رابینسون @fa
type: Concept
related: first order arithmetic

arithmetic (logic)
preferred label: حساب (منطق) @fa
type: Concept
narrower: first order arithmetic

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

first order arithmetic
related: Robinson arithmetic
related: higher order arithmetic
related: first order logic
broader: arithmetic (logic)
preferred label: حساب مرتبه اول @fa
type: Concept