تابع
preferred label: function @en
type: Concept
narrower: تابع بازگشتی

تابع بازگشتی
broader: تابع
broader: منطق صوری
preferred label: recursive function @en
type: Concept

منطق صوری
preferred label: formal logic @en
type: Concept
narrower: تابع بازگشتی