شرط
condition
proof theory
نظریه برهان
ادات منطقی
logical connectives
sentence
جمله
connective
رابط
conjunction
ترکیب عطفی
algebraic logic
منطق جبری
intuitionistic mathematics
ریاضیات شهودی
Boolean logic
منطق بولی
disjunction
ترکیب فصلی
complexity of proof
پیچیدگی برهان
اصطلاحات عمومی
general terminology
cylindrical construction
ساختمان استوانه‌ای
first order theory
نظریه مرتبه اول
Kripke model
مدل کریپکی
عبارت) جمله)
term
منطق مرتبه بالاتر
higher order logic