Games in set theory and logic by