proof theory
broader: mathematical logic
related: semantic
related: general logic
related: Boolean logic
related: constructive mathematics
related: intuitionistic mathematics
related: definition
related: consistency
related: computability
related: algebraic logic
narrower: logical method
narrower: logical connectives
narrower: proof
type: Concept
preferred label: نظریه برهان @fa

constructive mathematics
preferred label: ریاضیات ساختی @fa
type: Concept
related: proof theory

logical connectives
preferred label: ادات منطقی @fa
type: Concept
broader: proof theory

proof
preferred label: برهان @fa
type: Concept
broader: proof theory

algebraic logic
preferred label: منطق جبری @fa
type: Concept
related: proof theory

intuitionistic mathematics
preferred label: ریاضیات شهودی @fa
type: Concept
related: proof theory

definition
preferred label: تعریف @fa
type: Concept
related: proof theory

Boolean logic
preferred label: منطق بولی @fa
type: Concept
related: proof theory

consistency
preferred label: سازگاری @fa
type: Concept
related: proof theory

logical method
preferred label: روش منطقی @fa
type: Concept
broader: proof theory

general logic
preferred label: منطق عمومی @fa
type: Concept
related: proof theory

computability
preferred label: محاسبه‌پذیری @fa
type: Concept
related: proof theory

semantic
preferred label: معنا شناسی @fa
type: Concept
related: proof theory

mathematical logic
preferred label: منطق ریاضی @fa
type: Concept
narrower: proof theory