Set theory and logic home tutors in Western