Reading list: logic, set theory