language
زبان
propositional logic
منطق گزاره‌ها
predicate logic
منطق محمولات
منطق علامتی
symbolic logic
منطق نمادی
بررسی صوری نمادگان و کاربردهای آن در مبانی ریاضی.
منطق عمومی
general logic