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