1. Top concepts
  2. mathematics
  3. mathematical logic
  4. algebraic logic
  5. Boolean algebra