set theory and logic notes - Search