فلسفه ریاضیات
type: Concept
preferred label: philosophy of mathematics @en
related: منطق عمومی

تعریف
type: Concept
preferred label: definition @en
related: منطق عمومی

شرط لازم و کافی
type: Concept
preferred label: necessary and sufficient condition @en
related: منطق عمومی

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

منطق رسته‌ای
type: Concept
preferred label: categorical logic @en
related: منطق عمومی

منطق جبری
type: Concept
preferred label: algebraic logic @en
related: منطق عمومی

زبان
type: Concept
broader: منطق عمومی
preferred label: language @en

سازگاری
type: Concept
broader: منطق عمومی
preferred label: consistency @en

مرتبه منطق
type: Concept
broader: منطق عمومی
preferred label: order of logic @en

مسئله تصمیم
type: Concept
broader: منطق عمومی
preferred label: decision problem @en

معنا شناسی
type: Concept
broader: منطق عمومی
preferred label: semantic @en

منطق استقرایی
type: Concept
broader: منطق عمومی
preferred label: inductive logic @en

منطق چندمقدار
type: Concept
broader: منطق عمومی
preferred label: many-valued logic @en

منطق شهودگرایانه
type: Concept
broader: منطق عمومی
preferred label: intuitionistic logic @en

منطق صوری
type: Concept
broader: منطق عمومی
preferred label: formal logic @en

منطق نمادی
type: Concept
broader: منطق عمومی
preferred label: symbolic logic @en

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

منطق عمومی
type: Concept
broader: منطق ریاضی
narrower: منطق شهودگرایانه
narrower: منطق چندمقدار
narrower: زبان
narrower: مرتبه منطق
narrower: منطق استقرایی
narrower: منطق نمادی
narrower: نظریه انواع
narrower: منطق صوری
narrower: سازگاری
narrower: مسئله تصمیم
narrower: معنا شناسی
preferred label: general logic @en
related: فلسفه ریاضیات
related: تعریف
related: محاسبه‌پذیری
related: منطق جبری
related: نظریه مجموعه‌ها
related: ساختارهای مرتبه‌اول
related: شرط لازم و کافی
related: نظریه برهان
related: منطق رسته‌ای

نظریه برهان
type: Concept
preferred label: proof theory @en
related: منطق عمومی

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

ساختارهای مرتبه‌اول
type: Concept
preferred label: first order structures @en
related: منطق عمومی

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