Set theory and logic tutors in Pocket 3