first order logic
منطق مرتبه اول
ادات منطقی
logical connectives
logical object
شی منطقی
algebraic logic
منطق جبری
propositional logic
منطق گزاره‌ها
Boolean logic
منطق بولی
Lambda calculus
حساب لاندا
logical method
روش منطقی
ساختمان استوانه‌ای
cylindrical construction