proof theory
نظریه برهان
constructive mathematics
ریاضیات ساختی
ادات منطقی
logical connectives
برهان
proof
algebraic logic
منطق جبری
intuitionistic mathematics
ریاضیات شهودی
definition
تعریف
Boolean logic
منطق بولی
سازگاری
consistency
logical method
روش منطقی
منطق عمومی
general logic
محاسبه‌پذیری
computability
semantic
معنا شناسی
منطق ریاضی
mathematical logic