arithmetic (logic)
type: Concept
preferred label: حساب (منطق) @fa
related: bounded quantifier

bounded quantifier
type: Concept
broader: quantifier
preferred label: سور کراندار @fa
related: arithmetic (logic)

quantifier
type: Concept
narrower: bounded quantifier
preferred label: سور @fa