نظریه برهان
preferred label: proof theory @en
type: Concept
broader: منطق ریاضی

اندازه و انتگرال
preferred label: measure and integral @en
type: Concept
related: منطق ریاضی

ریاضیات ساختی
preferred label: constructive mathematics @en
type: Concept
broader: منطق ریاضی

نظریه مجموعه‌ها
preferred label: set theory @en
type: Concept
broader: منطق ریاضی

منطق جبری
preferred label: algebraic logic @en
type: Concept
broader: منطق ریاضی

جبر رابطه‌ای
preferred label: relational algebra @en
type: Concept
broader: منطق ریاضی

ریاضیات
preferred label: mathematics @en
type: Concept
narrower: منطق ریاضی

آلن تورینگ
preferred label: Alan Turing @en
type: Concept
related: منطق ریاضی

نظریه مدل
preferred label: model theory @en
type: Concept
broader: منطق ریاضی

نظریه دوگانی
preferred label: duality theory @en
type: Concept
related: منطق ریاضی

اصطلاحات عمومی
preferred label: general terminology @en
type: Concept
broader: منطق ریاضی

توپولوژی
preferred label: topology @en
type: Concept
related: منطق ریاضی

منطق عمومی
preferred label: general logic @en
type: Concept
broader: منطق ریاضی

محاسبه‌پذیری
preferred label: computability @en
type: Concept
broader: منطق ریاضی

منطق ریاضی
scope note: مطالعه نظریه های ریاضی از دیدگاه نظریه مدل‌ها، نظریه توابع بازگشتی، نظریه برهان، نظریه مجموعه‌ها.
narrower: نظریه برهان
narrower: ریاضیات ساختی
narrower: منطق جبری
narrower: جبر رابطه‌ای
narrower: محاسبه‌پذیری
narrower: نظریه مجموعه‌ها
narrower: اصطلاحات عمومی
narrower: نظریه مدل
narrower: منطق عمومی
related: نظریه دوگانی
related: آلن تورینگ
related: اندازه و انتگرال
related: توپولوژی
preferred label: mathematical logic @en
type: Concept
broader: ریاضیات
alternative label: مبانی ریاضی