An introduction to proofs with set theory - Ashlock, Daniel 1961-; Lee, Colin (Synthesis lectures on mathematics and statistics, 2022)