جبر
algebra
Boolean function
تابع بولی
نظریه محاسبه
computation theory
Boolean algebra
جبر بولی
منطق صوری
formal logic
نظریه مجموعه‌ها
set theory